Skip to content
This repository was archived by the owner on Nov 12, 2025. It is now read-only.

Non English Resources

Jump to bottom
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

Books

Language Link Description
Simplified Chinese — 中文（简体） 软件基础：Idris 语言描述 Software Foundations in Idris (in progress).

Home

Unofficial FAQ

External Resources

Installation Instructions

Binary Packages

Tool Support

Community

Development

Clone this wiki locally