3 ms·
Idris: General Purpose Programming with Dependent Types
- bjz_ 13y agoA great talk by the creator of Idris, Edwin Brady. Slides here (but you miss out on the demo): http://eb.host.cs.st-andrews.ac.uk/writings/idris-lhug0113.pdf http://eb.host.cs.st-andrews.ac.uk/writings/idris-lhug0113.p... http://idris-lang.org/ http://idris-lang.org/
- agumonkey 13y agowith HN and reddit submission I have a hint for why the website is sluggish.