diff options
author | Josh Chen | 2019-02-05 18:34:48 +0100 |
---|---|---|
committer | Josh Chen | 2019-02-05 18:34:48 +0100 |
commit | 964aa49e57cc49e4d3a89e1e3ab57431922aff55 (patch) | |
tree | 29ac40a2e088c9c6115f31c21149aa40a4d2191e /ROOT | |
parent | 36c7898ef2118a54d177dc3647630ece510c7bfa (diff) | |
parent | 64d2a5c60acce40113362c9d7eca8cd633362d23 (diff) |
Merge branch '2019': beginning type inference automation.
Diffstat (limited to 'ROOT')
-rw-r--r-- | ROOT | 3 |
1 files changed, 2 insertions, 1 deletions
@@ -6,7 +6,8 @@ session HoTT = Pure + hierarchy à la Russell. Follows the development of the theory in - The Univalent Foundations Program, Homotopy Type Theory: Univalent Foundations of Mathematics, + The Univalent Foundations Program, + Homotopy Type Theory: Univalent Foundations of Mathematics, Institute for Advanced Study, (2013). Available online at https://homotopytypetheory.org/book. |