This directory contains the sources of the idris-lang/idris2 site. The pages are generated using Katla's markdown backend and links to the idris2-generated docs for the libraries shipped with the compiler.
| Name | Name | Last commit date | ||
|---|---|---|---|---|
parent directory.. | ||||
This directory contains the sources of the idris-lang/idris2 site. The pages are generated using Katla's markdown backend and links to the idris2-generated docs for the libraries shipped with the compiler.