hsdatalog

A compiler from Datalog to relational algebra, as well as an interpreter for relational algebra that uses binary decision diagrams (BDDs).

Name	Name	Last commit message	Last commit date
Latest commit chessai and taktoa more progress on getting interpreter to work Jun 14, 2020 3bdd645 · Jun 14, 2020 History 48 Commits
.nix	.nix	Work on inferBitWidths (start on interpreter)	Jun 5, 2020
src	src	more progress on getting interpreter to work	Jun 14, 2020
test	test	Creō ā nihilō	May 20, 2020
.gitignore	.gitignore	Reimplement Johnson's algorithm	May 21, 2020
.stylish-haskell.yaml	.stylish-haskell.yaml	start typechecking. start using stylish-haskell	May 25, 2020
CHANGELOG.md	CHANGELOG.md	fill out cabal; add license information	May 29, 2020
LICENSE	LICENSE	fill out cabal; add license information	May 29, 2020
Makefile	Makefile	Creō ā nihilō	May 20, 2020
README.md	README.md	add readme	May 29, 2020
default.nix	default.nix	Creō ā nihilō	May 12, 2020
hsdatalog.cabal	hsdatalog.cabal	make a lot of progress on interpreter. start debugging it!	Jun 7, 2020
shell.nix	shell.nix	Creō ā nihilō	May 12, 2020
test.datalog	test.datalog	more progress on getting interpreter to work	Jun 14, 2020

Provide feedback