Nicolas Abril f0cc9dd2d8 [sc-684] Update dictionary for guide.md		2024-05-15 12:44:02 +02:00
..
fun	[sc-684] Disable forwarding of free vars in ask terms	2024-05-15 12:29:14 +02:00
hvm	Add priority on all multiply recursive calls	2024-05-15 00:57:57 +02:00
imp	[sc-684] Update dictionary for guide.md	2024-05-15 12:44:02 +02:00
net	[sc-670] Add priority redexes and order dups correctly in compilation	2024-05-10 21:08:29 +02:00
diagnostics.rs	Improve mutual recursion err msg and add some colors	2024-05-09 18:32:30 +02:00
lib.rs	Update gen commands	2024-05-14 17:03:37 -03:00
main.rs	Apply clippy suggestions	2024-05-14 17:03:37 -03:00