![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
Jan. 4th, 2019
Programming in Martin-Löf type theory
Jan. 4th, 2019 03:53 pm https://intuitionistic.files.wordpress.com/2010/07/nordstrom-et-al-programming.pdf
Seems like the book covers the issue of defining Set.
Seems like the book covers the issue of defining Set.