| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | alpha_equiv.makkai | 144 | logplain |
| -rw-r--r-- | equality.makkai | 905 | logplain |
| -rw-r--r-- | ext_codomain.makkai | 149 | logplain |
| -rw-r--r-- | inline_nested.makkai | 181 | logplain |
| -rw-r--r-- | nested_for.makkai | 144 | logplain |
| -rw-r--r-- | one_simplex.makkai | 1214 | logplain |
| -rw-r--r-- | signature_merge.makkai | 384 | logplain |
| -rw-r--r-- | signature_param.makkai | 118 | logplain |
 |
index : makkai | |
| Type theory implementation | git repository hosting |
| aboutsummaryrefslogtreecommitdiff |