Correspondent David Thrane Christiansen Host ID: 418 email: david.nospam@nospam.davidchristiansen.dk episodes: 1 hpr3796 :: Dependent Types Released: 2023-02-20. Duration: 00:08:28. Flag: Clean. Series: general. Tags: .A quick taste of programming with dependent types
