|
|
7a6c4c61d1
|
wip
|
2023-08-21 18:43:53 +02:00 |
|
|
|
0dd3c231e6
|
fix a typo
`ExpectedEq` does not expect an *enumeration* type
|
2023-08-13 13:45:32 +02:00 |
|
|
|
c5403a970e
|
tweaks in bool.quox
|
2023-08-13 13:43:51 +02:00 |
|
|
|
5c4053e9d2
|
add some needed ωs for w-types
i.o.u. linear trees. i'm still thinking
|
2023-08-13 13:43:51 +02:00 |
|
|
|
7cf3fa8bae
|
add w types to parser
|
2023-08-12 10:25:07 +02:00 |
|
|
|
3cebc7b9b2
|
add W to parser syntax
|
2023-08-12 10:25:07 +02:00 |
|
|
|
ca1adcce47
|
remove some noLocs
|
2023-08-12 10:25:07 +02:00 |
|
|
|
1da902d13a
|
add W to internal language
|
2023-08-12 10:25:07 +02:00 |
|
