Tech Talk: Idris, Proofs and Haskell with Edwin Brady
CoRecursive: Coding Stories
00:00
Programming With Text Is the Problem
Programming with text is the problem, he says. His dream is to have a tablet where you can write programs by waving your hands around on the screen. But anyhow, that's some way off, but there wild be a hoa dam,. Well, we'll see.
Transcript
Play full episode
