Correspondent

David Thrane Christiansen

Thumbnail of 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

hpr3796 :: Dependent Types

Monday, 2023-02-20. 00:08:28. Clean. general.
types, math, programming languages, functional programming.

A quick taste of programming with dependent types

Listen in ogg, opus, or mp3 format.

Become a Correspondent