Cedille Cast #10: Zero-cost reuse for dependent types

We consider a pragmatic issue in programming with dependent types: reuse.

youtu.be/DhCx9-q2aXU

x0r.be

The social network of the future: No ads, no corporate surveillance, ethical design, and decentralization! Own your data with Mastodon!