Post

mindtrizzle
@mitch.mindbuffer.net

formal verification: working with agda informal verification: playing with agda in trackpants on the wkend because totality is beautiful

0 reposts0 likes

mindtrizzle
@mitch.mindbuffer.net

currently listening to this haskell.foundation/podcast/62/ such a cool perspective on language design - Conal Elliott shares his journey from lisp to ML to haskell to agda and category theory in a lifetime dive toward the fundamentals of expression

haskell.foundationConal ElliottIn this episode Wouter Swiestra and Niki Vazou talk with Conal Elliott. Conal discusses doing things just for the poetry, how most programs miss their purpose, and the simplest way to ask a question. ...