Tech Talk: Idris, Proofs and Haskell with Edwin Brady
CoRecursive: Coding Stories
00:00
The Limitations of Text Editors
i think it's a good lowes comra aanater, i think u i's always going to be a text in the end. But having better ways of interacting with it, even if it is still text, i think it's important. It's amazing what you can do with them, just by ain the atom mode. For for idrest its, it's sint. It's talking to an idrest process in the background. So so theest there's all thoghts of om for a a for interesting new ways of editing programmes.
Transcript
Play full episode
