3 ms·
See also datafun which takes datalog and expands it to generic join semilattices and uses type theory to maintain the monotonicity invariant.
by openfuture 6y ago
See also datafun which takes datalog and expands it to generic join semilattices and uses type theory to maintain the monotonicity invariant.