madgen/dataflow-safe-by-construction

PoC for a dataflow-safe-by-construction Datalog implementation

Haskell