9 Commits

Author	SHA1	Message	Date
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