为 idris 语言编写 Python 和 Julia 后端


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

好强！


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

但是我不会 idris😂

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

#4 刚刚开始学，刚刚开始学😂

回到顶部