项目描述 ：
The Dart backend for Idris 2.

高级语言： Idris

项目主页：

项目地址: git://github.com/bamboo/idris2dart.git

创建时间： 2020-08-29T20:17:42Z
项目社区：https://github.com/bamboo/idris2dart
开源协议：Other
下载