Tech Talk: Idris, Proofs and Haskell with Edwin Brady
CoRecursive: Coding Stories
00:00
Type Driven Interactiv Editing
Akhent: Can we either make it so easy to put these cheqkes in that there's really no ase for not doing it? Or can we make it easy for people to just sort of incrumentally arrive at a programme? Thatt does the right thing, just leaving a hole a a thoughtful way you haven't done the necessary checks. That is where we can go a lot better with the tooling.
Transcript
Play full episode
