Skip to content

Non English Resources

Oling Cat edited this page Mar 29, 2018 · 3 revisions

Here are some Non-English resources and documentations for Idris:

Documentations

Language Link Description Repository
Simplified Chinese — 中文(简体) Idris 语言文档 The official documentation in Simplified Chinese. Idris-zh/Idris-dev
Clone this wiki locally