r/Idris • u/ska80 • May 19 '20
Idris 2 is now self-hosted
110
Upvotes
r/Idris • u/teddim • Dec 02 '18
Edwin Brady - Idris 2: Type-driven development of Idris | Code Mesh LDN 18
63
Upvotes
r/Idris • u/AaCodeSync • Oct 18 '18
Idris 2: Type-driven development of Idris - Edwin Brady @ Code Mesh LDN - 08-09 Nov 18
61
Upvotes
r/Idris • u/gergoerdi • Jan 11 '20
Linearity and Erasure in Idris 2 - Edwin Brady
type-driven.org.uk
58
Upvotes
r/Idris • u/ska80 • Jul 19 '19
Edwin Brady - Idris 2 - Type-driven Development of Idris
56
Upvotes
r/Idris • u/ska80 • Jul 09 '20
New JavaScript code generator has landed in Idris 2
54
Upvotes
r/Idris • u/jcora • Jan 13 '20
A game in a pure language (part 1): introduction and problems with Idris
51
Upvotes
r/Idris • u/fabianhjr • May 25 '20
Edwin Brady - Why is Idris 2 so much faster than Idris 1?
type-driven.org.uk
49
Upvotes
