GitHub repository: totalscript/totalscript
Primary language: Idris
Created: 2017-03-08T10:22:16Z
Description: Explore what a powerful type system can do.