Hacker News
- Simple, pure, and total functional language that generalizes Datalog http://www.rntz.net/datafun/ 21 comments
Linking pages
Linked pages
- Racket https://racket-lang.org/ 458 comments
- GitHub - rntz/datafun: Research on integrating datalog & lambda calculus via monotonicity types https://github.com/rntz/datafun 0 comments
- http://users.sussex.ac.uk/~mfb21/srepls9/video/michaelA-presentation.mp4 0 comments
- "Datafun: a functional query language" by Michael Arntzenius - YouTube https://www.youtube.com/watch?v=gC295d3V9gE 0 comments