idris-lang

Here are 3 public repositories matching this topic...

A programming-language & a proof-assistant based on *extensional* Dependent Type Theory

A repository for showcasing my knowledge of the Idris programming language, and continuing to learn the language.

gplv3 idris gpl3 idris-lang idris-language learn-idris learn-idris-lang learn-idris-language

🧠️🖥️2️⃣️0️⃣️0️⃣️1️⃣️💾️📜️ The sourceCode:Idris category for AI2001, containing Idris programming language datasets

Add a description, image, and links to the idris-lang topic page so that developers can more easily learn about it.

To associate your repository with the idris-lang topic, visit your repo's landing page and select "manage topics."