Type-driven Development with Idris
Why it's on BrighterTube
Hand-picked by a BrighterTube curator · found via round-3 back catalogue of a channel Lumen picks video by video · 82% confidenceTeaches type-driven development using Idris programming language. Technical conference lecture on dependent types, type systems, and formal verification.
What you'll learn
A 58-minute video from TNG Technology Consulting GmbH: “Type-driven Development with Idris”.
Video by TNG Technology Consulting GmbH, played through YouTube's embedded player.
Part of Big Techday 9