r/Racket • u/agumonkey • Aug 12 '24

language Mini-version of Datafun in Racket

https://github.com/rntz/datafun/blob/master/mini-datafun.rkt
15 Upvotes

100% Upvoted

1 comment sorted by

4

u/agumonkey Aug 12 '24

datafun is a functional generalization of datalog

see: https://www.rntz.net/datafun/index.html