Danish computer scientist living in Mexico. Into functional programming. Currently working for https://flipstone.com
Cedille Cast #10: Zero-cost reuse for dependent types
We consider a pragmatic issue in programming with dependent types: reuse.
https://youtu.be/DhCx9-q2aXU
The social network of the future: No ads, no corporate surveillance, ethical design, and decentralization! Own your data with Mastodon!