rntz / datafunView on GitHub
Research on integrating datalog & lambda calculus via monotonicity types
416Jun 21, 2022Updated 3 years ago

Alternatives and similar repositories for datafun

Users that are interested in datafun are comparing it to the libraries listed below

Sorting:

Are these results useful?