hpr3796 :: Dependent Types
A quick taste of programming with dependent types
Correspondent
David Thrane Christiansen
: 418
david.nospam@nospam.davidchristiansen.dk
I love programming languages and their implementations, and I especially love exploring new paradigms of writing programs. I'm online at https://davidchristiansen.dk.
1