|
|
0c1deb4c8f
|
Make int literals parseable
|
2023-03-12 00:40:01 -08:00 |
|
|
|
ac37e82979
|
Add integer and strings to the language
|
2023-03-12 00:38:53 -08:00 |
|
|
|
fe7c01f6c2
|
Add support for backslashes to identifiers
|
2023-03-11 16:42:08 -08:00 |
|
|
|
3ab3126bbf
|
Extract latex generation to a typeclass
|
2023-03-11 16:41:52 -08:00 |
|
|
|
930a05c951
|
Add a parser and use it for reading rules and queries
|
2023-03-05 21:33:45 -08:00 |
|
|
|
545416fce0
|
Split the code into proper modules
|
2023-03-05 18:44:56 -08:00 |
|
|
|
6a7a2eab19
|
Add 'gas' to cut off too-long computations
|
2023-03-04 22:15:37 -08:00 |
|
|
|
49b6b537b0
|
Use a reader monad to keep track of the rules
|
2023-03-04 19:33:43 -08:00 |
|
|
|
a9fc768182
|
Get a rule search engine working with hardcoded rules
|
2023-03-04 18:01:37 -08:00 |
|
|
|
755d514342
|
Extract UnifyT into its own package and get an example going
|
2023-03-03 23:19:52 -08:00 |
|
|
|
7fc58ce0af
|
Add initial version of unification monad transformer
Yes, it's in the same file as the syntax. Make it work,
make it right, make it fast.
|
2023-03-03 22:09:08 -08:00 |
|
|
|
394fab8914
|
Initial commit + basic Expr impl
|
2023-02-28 19:44:24 -08:00 |
|
