idris-lang/idris2 site
======================

This directory contains the sources of the [idris-lang/idris2](https://idris-lang.github.io/idris2/)
site. The pages are generated using [Katla](https://github.com/idris-community/katla/)'s markdown
backend and links to the idris2-generated docs for the libraries shipped with the compiler.