aboutsummaryrefslogtreecommitdiff
path: root/hott
diff options
context:
space:
mode:
authorJosh Chen2020-06-03 13:09:30 +0200
committerJosh Chen2020-06-03 13:09:30 +0200
commite513fc2958133e3a00c06ebcd1214741843acf08 (patch)
tree717ab2e413e8fee071d1e4b22b2ed224f473d081 /hott
parent8c0205ade477f732fceb484bf5986fdbc6469667 (diff)
1. Type information context data
2. Small reformulations of rules 3. Bool
Diffstat (limited to 'hott')
0 files changed, 0 insertions, 0 deletions