Idris
3 videos • 275 views • by Brian McKenna
1
Idris: verifying a monoid
Brian McKenna
Download
2
Idris: Type safe printf
Brian McKenna
Download
3
"Idris: Practical Dependent Types with Practical Examples" by Brian McKenna
Strange Loop Conference
Download