为 idris 语言编写 Python 和 Julia 后端


为 idris 语言编写 Python 和 Julia 后端
5 回复

好强!


谢谢~ 欢迎参与开发。
我这个架构设计设计得非常简单哒,这是我最自豪的点之一~

但是我不会 idris😂

你不是会 dt 吗?
其实会 haskell 就能写了,很简单的。我其实也不怎么用 dt 的功能

#4 刚刚开始学,刚刚开始学😂

回到顶部