Hacker Public Radio

Your ideas, projects, opinions - podcasted.

Thumbnail of David Thrane Christiansen
Host ID: 418

email: david.nospam@nospam.davidchristiansen.dk
episodes: 1

Released: 2023-02-20. Duration: 00:08:28. Flag: Clean. Series: general.
Tags: types, math, programming languages, functional programming.

A quick taste of programming with dependent types

Listen in ogg, spx, or mp3 format.