Janus

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

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

youtu.be/DhCx9-q2aXU

0
x0r.be

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

Trending now

Resources

Developers

What is Mastodon?

x0r.be

More…