Podcasts Technology Iowa Type Theory Commute GADTs for programming with representations of types

GADTs for programming with representations of types

Published: Jan. 22, 2020, 8 p.m.

b'

This episode reviews some of the applications of GADTs we have discussed so far, and discusses an example where we want to write a function that consumes a number of inputs that is controlled by an argument to the function.\\xa0\\xa0

'