Danila Fedorin d8dd005f54 Try using tail recursion to reduce stack pressure		2023-10-15 17:34:15 -07:00
..
Latex.purs	Add an isInt primitive predicate	2023-03-12 00:40:46 -08:00
Parser.purs	Make int literals parseable	2023-03-12 00:40:01 -08:00
Rules.purs	Add a parser and use it for reading rules and queries	2023-03-05 21:33:45 -08:00
Syntax.purs	Add integer and strings to the language	2023-03-12 00:38:53 -08:00
Unifier.purs	Try using tail recursion to reduce stack pressure	2023-10-15 17:34:15 -07:00