discu
Newsletters
Mentions
Extension
Pricing
Login
Sign Up
Lobsters
Announcing Beatrice: A finally tagless, dependently typed, self-aware programming language
https://hirrolot.github.io/posts/announcing-beatrice.html
12 comments
22/4/2024
plt