A tutorial to the Idris Programming Language in HTML and EPUB formats.
Primary LanguageHTML
No issues in this repository yet.