imaqtkatt
|
053c7a5817
|
Fix string and list readback
|
2024-05-27 15:50:06 -03:00 |
|
imaqtkatt
|
b74c3e2693
|
Generate definitions for constructor tags
|
2024-05-27 15:09:23 -03:00 |
|
Nicolas Abril
|
d62b73ce83
|
[sc-663] Update tests for rebase
|
2024-05-20 14:50:49 +02:00 |
|
Nicolas Abril
|
f7a238c58a
|
[sc-663] Add num-scott adt encoding, it a cli opt
|
2024-05-20 14:47:50 +02:00 |
|
Nicolas Abril
|
076415d9ab
|
Increase max net size and make the check optional
|
2024-05-19 00:29:37 +02:00 |
|
Nicolas Abril
|
f724bbf541
|
Add list resugaring on readback
|
2024-05-15 22:07:58 +02:00 |
|
imaqtkatt
|
372ae8a384
|
Update lambda syntax and built-in constructor names
|
2024-05-15 15:23:26 -03:00 |
|
Nicolas Abril
|
2f7ae6c276
|
[sc-688] Add string resugaring of readback term
|
2024-05-15 19:00:20 +02:00 |
|
Nicolas Abril
|
e1dd23d96c
|
Update tests to use .bend extension, fix test uite
|
2024-05-15 00:25:46 +02:00 |
|