stilkov’s Twitter Archive—№ 25,014

“Formatting with first-class types” – Fascinating look at #idris by janstepien innoq.com/en/blog/formatting-with-first-class-types/ via INNOQ