Skip to content

WIP: Reflexive Datalog

Alexandru Dura requested to merge al7330du/metadl:import-stmt into master

This is WIP and is not yet ready to be merged back into DatalogM. The new type inference / type check is available in examples/typecheck.in

Merge request reports