Future of Coding is an online community with a welcoming, cooperative, and revolutionary spirit. We are unified in the belief that the common practice of programming is tragically less humane than it could be.

Future of Coding

Idris 2 paper accepted to ECOOP

<https://www.type-driven.org.uk/edwinb/idris-2-quantitative-type-theory-in-practice.html|https://www.type-driven.org.uk/edwinb/idris-2-quantitative-type-theory-in-practice.html>

<https://twitter.com/edwinbrady/status/1377544521597267971?s=19|https://twitter.com/edwinbrady/status/1377544521597267971?s=19>