Cale Gibbard
|
f2161013e4
|
Comment out non-working executable in cabal file for now.
|
2026-01-26 12:36:53 -05:00 |
|
Cale Gibbard
|
a775f753e0
|
Fix a bug in projectTuple where it wasn't ensuring that variables that appeared multiple times were bound to the same thing in the resulting set of tuples.
|
2026-01-26 12:18:29 -05:00 |
|
Cale Gibbard
|
c09e07042b
|
Fix parsing of constants (no longer allow empty string or uppercase start).
Add a parser for conjunctive queries.
Add some prettyprinters for the syntax.
|
2026-01-22 13:36:54 -05:00 |
|
Cale Gibbard
|
0730e7163d
|
Update changelog
|
2026-01-16 01:27:32 -05:00 |
|
Cale Gibbard
|
3ed2a84cce
|
Add basic evaluation, improved testing, some facilities to help testing by hand at ghci prompt
|
2026-01-16 01:05:19 -05:00 |
|
Cale Gibbard
|
9dd48b46af
|
Initial commit with basic datalog parser and abstract syntax
|
2026-01-12 16:10:51 -05:00 |
|