我正在实现一个有依赖类型库的纯函数中文编程语言

zaomir · 发表于 2024-4-20 10:04:21

我正在实现一个有依赖类型库的纯函数中文编程语言
免责声明：如果侵犯了您的权益，请联系站长，我们会及时删除侵权内容，谢谢合作！

zaomir · 发表于 2024-4-20 10:20:31

和一个中文的定理搜索器等东西

zaomir · 发表于 2024-4-20 10:25:34

这些语言里中文也可以自动被翻译为English

zaomir · 发表于 2024-4-20 10:35:14

但是从所谓的好像叫做学术界的东西里复制来了一堆特性和设计,然后增加了几个我设计的特性,不知道是否稳定。

zaomir · 发表于 2024-4-20 10:42:13

有人想加入嗎

zaomir · 发表于 2024-4-20 10:48:19

Caroky · 发表于 2024-4-20 10:57:36

Caroky · 发表于 2024-4-20 11:08:38

正好寒假闲的没事干

zaomir · 发表于 2024-4-20 11:16:19

zaomir · 发表于 2024-4-20 11:28:54

		自动登录	找回密码
密码			立即注册