Idris

学习idris

学习idris这门语言的特性，了解依赖类型，强类型语言的优点