This repository contains the sources for the idris-lang.github.io website.
This work is licensed under the bsd-3-clause license.
| Name | Name | Last commit date | ||
|---|---|---|---|---|
This repository contains the sources for the idris-lang.github.io website.
This work is licensed under the bsd-3-clause license.