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

中文编程吧关注：265贴子：680

送TA礼物

IP属地:浙江

1楼2019-01-21 19:02回复

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

IP属地:浙江

来自手机贴吧2楼2019-01-21 19:04

2024-11-22 17:08广告

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

IP属地:浙江

来自手机贴吧3楼2019-01-21 19:05

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

IP属地:浙江

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

一年多了现在什么情况

IP属地:四川

6楼2021-07-24 14:36

别沉

IP属地:新加坡

来自iPhone客户端7楼2022-01-03 03:18

加油加油

IP属地:河北

来自Android客户端8楼2023-01-13 18:12

下载贴吧APP
看高清直播、视频！

贴吧热议榜

发表回复

内容:

使用签名档查看全部

发表

保存至快速回贴