Idris2:纯函数式编程语言，支持一流类型与类型驱动开发

Star0
0
代码
代码
Issues
Pull Requests
项目讨论
Wiki
分析
Star0
0

A purely functional programming language with first class types

分支10Tags10

项目介绍

一种具有一等类型特性的纯函数式编程语言【此简介由AI生成】

Others Idris4.03 K提交数compilerdependent-typeshacktoberfest
定制我的领域
README
613.03 K408访问 GitHub