6 ms·There's Idris, designed to encourage "Type-Driven Development".by wscourge 3y agoThere's Idris, designed to encourage "Type-Driven Development".