中文编程吧 关注:272贴子:688
  • 3回复贴,共1

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

取消只看楼主收藏回复



1楼2019-01-21 19:02回复
    和一个中文的定理搜索器等东西


    来自手机贴吧2楼2019-01-21 19:04
    回复
      这些语言里中文也可以自动被翻译为English


      来自手机贴吧3楼2019-01-21 19:05
      回复
        但是从所谓的好像叫做学术界的东西里复制来了一堆特性和设计,然后增加了几个我设计的特性,不知道是否稳定。


        来自手机贴吧4楼2019-01-21 19:10
        回复