aboutsummaryrefslogtreecommitdiff
path: root/LICENSE
diff options
context:
space:
mode:
authorJosh Chen2020-05-25 17:09:54 +0200
committerJosh Chen2020-05-25 17:09:54 +0200
commit80edbd08e13200d2c080ac281d19948bbbcd92e0 (patch)
tree95cc00c52c846406e04cd985ef9df2d5a1e9996c /LICENSE
parent22c5b895a4a2ba0ecb97a5c7ccab4b13c42c24e3 (diff)
Reorganize theory structure. In particular, the identity type moves out from under Spartan to HoTT. Spartan now only has Pi and Sigma.
Diffstat (limited to 'LICENSE')
0 files changed, 0 insertions, 0 deletions