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