T type-driven.org.uk Why is Idris 2 so much faster than Idris 1? 282 points culturedsystems 6 years ago 81 comments
