ianweatherhogg : idris
unread ‧ add stars ‧
remove stars ‧
get-idris - Setting up an Idris dev environment on Windows
Idris-dev - A Dependently Typed Functional Programming Language
I've been digging into Idris lately, and have found using dependent types to be a fun and challenging exercise.Last semester, I implemented some basic co...
Idris-WebGL - WebGL bindings for Idris.
idris-blink - A simple Idris program to blink the LED on an Arduino
KesterTong has 3 repositories written in Idris. Follow their code on GitHub.
A high level introduction to learning dependent types via Idris
Copy this bookmark:
grab all tags -