Tech Talk: Idris, Proofs and Haskell with Edwin Brady
CoRecursive: Coding Stories
00:00
Is Haskell a Tool for Programming?
A, you know, i feel like the tooling, just using the examples in the book and the tooling an atam, it's really quite a process, like i found. A, yes, certainly not as well as as interest as idres does it, which is interesting. I don't remember exactly when this came inq, couple of yers agon to atit. You can now put an underscore in a programme, and it will tell you all the information it has about that whole. So really useful therethis concept is kind of working its way. Su ye a er erivis, it's an idea that, i have the impression it, it's,
Play episode from 37:05
Transcript
