aboutsummaryrefslogtreecommitdiff
path: root/ex/HoTT book
diff options
context:
space:
mode:
authorJosh Chen2018-08-18 23:58:29 +0200
committerJosh Chen2018-08-18 23:58:29 +0200
commit1ff1905f052de51a942282af1f9950c7ec71c20c (patch)
treed6690505b3d20b8bc39fc080eb17b1e727f53339 /ex/HoTT book
parent2498c1512a81a9a73a5a8b6a1a0018ad824df778 (diff)
Forgot to add the theories for Empty and Unit
Diffstat (limited to 'ex/HoTT book')
0 files changed, 0 insertions, 0 deletions