Tony Garnock-Jones
|
e923d87fa5
|
Switch from `#!` to `#:` for embedded values
|
2024-02-05 22:38:49 +01:00 |
Tony Garnock-Jones
|
9c7770a54f
|
Repair codegen for setof and dictof
|
2023-12-17 11:05:07 +13:00 |
Tony Garnock-Jones
|
6cd8cb2c37
|
Repair test
|
2022-01-24 13:41:58 +01:00 |
Tony Garnock-Jones
|
43f31b9a78
|
Repairs to tests
|
2021-12-08 14:06:16 +01:00 |
Tony Garnock-Jones
|
498c63ef67
|
Repair embedded reading; and preserve annotations in generic embedded values
|
2021-06-01 16:46:23 +02:00 |
Tony Garnock-Jones
|
460529e1c7
|
Clean up language wrt invertibility/"bijection"
|
2021-05-25 20:13:02 +02:00 |
Tony Garnock-Jones
|
0db223ede8
|
More tests, and variant label duplicate check
|
2021-05-24 11:53:25 +02:00 |
Tony Garnock-Jones
|
52be118dc7
|
A few more tests
|
2021-05-24 11:32:29 +02:00 |
Tony Garnock-Jones
|
a1fdddcf7b
|
Simple tests; more exports
|
2021-05-24 11:27:46 +02:00 |