datafun is an actively used programming language created in 2015. It's a simple, pure, and total functional language that generalizes Datalog. Datafun's superpower is that it can concisely and declaratively express and compute fixed points of monotone maps on semilattices.

5Years Old 283Users ?Jobs

Last updated August 9th, 2020

Edit datafun on GitHub