10 Commits

Author	SHA1	Message	Date
Nicolas Abril	f3be26b2c8	#634 Don't eta-reduce by default for cuda (#705)	2024-09-04 20:26:46 +00:00
imaqtkatt	3073285e36	Call desugar_use before linearize matches	2024-06-17 11:40:55 -03:00
Nicolas Abril	d6bdde548e	Add raw hvm function syntax	2024-06-15 17:22:55 +02:00
Nicolas Abril	94cada901d	Expand refs in main, don't float combinators in main	2024-06-05 19:02:44 +02:00
imaqtkatt	b74c3e2693	Generate definitions for constructor tags	2024-05-27 15:09:23 -03:00
Nicolas Abril	01a3337d49	Use the HVM AST instead of an internal one	2024-05-25 19:03:13 +02:00
Nicolas Abril	b0fd8dfb91	Add guide examples to tests	2024-05-22 21:25:31 +02:00
Nicolas Abril	3e9b3c4083	Adapt Bend to new hvm number operation format	2024-05-21 16:23:40 +02:00
Nicolas Abril	d62b73ce83	[sc-663] Update tests for rebase	2024-05-20 14:50:49 +02:00
Nicolas Abril	076415d9ab	Increase max net size and make the check optional	2024-05-19 00:29:37 +02:00