discu
Newsletters
Mentions
Extension
Pricing
Login
Sign Up
Reddit
[Beginner] What are other applications of dependent types in programming languages that are similar to sized types?
https://arxiv.org/pdf/1012.4896.pdf
4 comments
11/10/2020
idris