|
|
efca9a7138
|
add enums, which also need whnf to be fallible :(
|
2023-02-22 07:45:10 +01:00 |
|
|
|
7895fa37e5
|
Q.S.T.Reduce ⇒ Q.Reduce and make it use Definition directly
|
2023-02-19 18:54:59 +01:00 |
|
|
|
85a55f8123
|
wrap type errors in extra context
|
2023-02-19 17:54:39 +01:00 |
|
|
|
7d2c3b5a8e
|
more typed equality, uip, etc
|
2023-02-11 18:15:50 +01:00 |
|
