diff options
| author | Josh Chen | 2020-04-03 01:15:43 +0200 |
|---|---|---|
| committer | Josh Chen | 2020-04-03 01:15:43 +0200 |
| commit | bc2bc24f8adf48aba2328da7616825f3812ebbf9 (patch) | |
| tree | 149e2d54777f8141bc2717b275a2c83721ad1f40 /ROOT | |
| parent | 97f3c05e0511a1ed9a95babc800a8e3f3b6a2ea8 (diff) | |
fix ROOT
Diffstat (limited to 'ROOT')
| -rw-r--r-- | ROOT | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -20,5 +20,5 @@ session HoTT in hott = Spartan + Available online at https://homotopytypetheory.org/book. " theories - Basic_Types + Base Nat |