Skip to content

idris-lang/idris-lang.github.io

Folders and files

NameName
Last commit message
Last commit date

Latest commit

3a71e20 · Oct 29, 2022

History

15 Commits
Oct 27, 2022
Oct 29, 2022
Oct 27, 2022
Oct 27, 2022

Repository files navigation

idris-lang.github.io

This repository contains the sources for the idris-lang.github.io website.

LICENSE

This work is licensed under the bsd-3-clause license.