[公告] Idris-zh 中文翻譯項目啟動

03-31

Idris 是個通用的依賴類型純函數式編程語言，比起 Coq 來說更注重現實世界的編程。說起來咱對這貨感興趣還是受了某莎某 be5 和某智貓的影響= =||

其實 Idris 中文文檔翻譯的坑很早就挖下了，可惜咱能力有限現在才正式啟動。目前只翻譯了官方教程的第一章，大家可以在 Idris-zh 文檔主頁查看。對應的 Idris-zh 項目地址中可以找到源碼。

官方文檔的量並不算太多，本打算翻譯完官方教程再說，不過咱最近忙於考試，加上人多力量大，思來想去還是在魔法店發個公告比較好。有興趣的譯者可以戳咱留下 Github ID，加入項目組一起翻譯。

Idris 企鵝群：470108635

電報群：https://t.me/idris_zh

以上。

#Update：翻譯規範與術語表已更新，歡迎提出建議或補充。