Skip to content

here you goThings I’ve made, read and saved — shared here.

Dependently Typed Programming in Idris: A Demo - David Raymond Christiansen

LinkShared 30 March 2014

#dependent_types #idris

that's a cool slide + video advance program they are using!

bmsherman.github.io ↗

More on