| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | test_alpha_equiv.makkai | 144 | logplain |
| -rw-r--r-- | test_ext_codomain.makkai | 149 | logplain |
| -rw-r--r-- | test_inline_nested.makkai | 181 | logplain |
| -rw-r--r-- | test_nested_for.makkai | 144 | logplain |
| -rw-r--r-- | test_projection.makkai | 197 | logplain |
| -rw-r--r-- | test_signature_merge.makkai | 384 | logplain |
| -rw-r--r-- | test_signature_param.makkai | 118 | logplain |
 |
index : makkai | |
| Type theory implementation | git repository hosting |
| aboutsummaryrefslogtreecommitdiff |