Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision | Next revision Both sides next revision | ||
primitive_notions_._wat [2015/12/17 20:23] nikolaj |
primitive_notions_._wat [2015/12/17 20:28] nikolaj |
||
---|---|---|---|
Line 7: | Line 7: | ||
https://hott.github.io/book/nightly/hott-online-1005-ge9c58d7.pdf#441 | https://hott.github.io/book/nightly/hott-online-1005-ge9c58d7.pdf#441 | ||
+ | A year ago I asked a relevant related question here | ||
+ | |||
+ | http://cstheory.stackexchange.com/questions/27400/minimal-specification-of-martin-l%C3%B6f-type-theory | ||
=== Code === | === Code === |