What are types (in type systems)? #1 Post by stereobooster » Tue, Aug 21, 2018, 2:12 PM UTC What are types (in type systems)?github.com