Dependently Typed Programming in Idris: A Demo - David Raymond Christiansen
bmsherman.github.io
that's a cool slide + video advance program they are using!
that's a cool slide + video advance program they are using!