Tech Talk: Idris, Proofs and Haskell with Edwin Brady
CoRecursive: Coding Stories
00:00
The Development Model of Idrest
It was originally intended as just a book on address. But the focus, in the end, became ian. Even though it clearly it is a book about idrest th there's a lot more of the process how you arrive at the programm. So that's kind of why the book is full of all these steps of type, defined, refined. Here are all the intermediate steps. There's kind of a tricky thing to do in writing, rather than animation. You can follow the ideas in other languages too, but the tools aren't ar nont there so much. I mean, i compile and run programs with holes all the time, and js, except that the whole is going
Play episode from 34:24
Transcript
