[–] bjz_ 12y ago ↗ A 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.p...http://idris-lang.org/ [–] agumonkey 12y ago ↗ with HN and reddit submission I have a hint for why the website is sluggish.
2 comments
[ 4.6 ms ] story [ 14.5 ms ] threadhttp://idris-lang.org/