Commit Graph

Select branches

Hide Pull Requests

master

Mono Color

• d8dd005f54 Try using tail recursion to reduce stack pressure master Danila Fedorin 2023-10-15 17:34:15 -0700
• 3aebd99805 Add an isInt primitive predicate Danila Fedorin 2023-03-12 00:40:46 -0800
• 0c1deb4c8f Make int literals parseable Danila Fedorin 2023-03-12 00:40:01 -0800
• ac37e82979 Add integer and strings to the language Danila Fedorin 2023-03-12 00:38:53 -0800
• fe7c01f6c2 Add support for backslashes to identifiers Danila Fedorin 2023-03-11 16:42:08 -0800
• 3ab3126bbf Extract latex generation to a typeclass Danila Fedorin 2023-03-11 16:41:52 -0800
• 930a05c951 Add a parser and use it for reading rules and queries Danila Fedorin 2023-03-05 21:33:45 -0800
• 545416fce0 Split the code into proper modules Danila Fedorin 2023-03-05 18:44:56 -0800
• 6a7a2eab19 Add 'gas' to cut off too-long computations Danila Fedorin 2023-03-04 22:15:37 -0800
• 49b6b537b0 Use a reader monad to keep track of the rules Danila Fedorin 2023-03-04 19:33:43 -0800
• a9fc768182 Get a rule search engine working with hardcoded rules Danila Fedorin 2023-03-04 18:01:37 -0800
• 755d514342 Extract UnifyT into its own package and get an example going Danila Fedorin 2023-03-03 23:19:52 -0800
• 7fc58ce0af Add initial version of unification monad transformer Danila Fedorin 2023-03-03 22:09:08 -0800
• 394fab8914 Initial commit + basic Expr impl Danila Fedorin 2023-02-28 19:44:24 -0800