Tech Talk: Idris, Proofs and Haskell with Edwin Brady
CoRecursive: Coding Stories
00:00
Theor Improver
Programming and improving are, in some very real sense, the same thing. When people talk about this idea, you'll hear it referred to as the curry howard correspondence. It's really not something yet the main stream programmes can pick up and run with. One thing i would really like to do with idres is make these er techniques available to e practitioners and soft war developers,. What is the theor improver? Aha, a, so when we talk, where to start? Am, so theor pro improving and programming are, inSomevery real sense, the same thing.
Transcript
Play full episode
