News for hackers. Stuff that matters.
Re:Things that Idris improves things over Haskell by mmalone on Friday June 16, 2017 @01:09PM (#14570699)
Eve? http://witheve.com/

The Eve core is based on a distributed logic programming semantics (although SQL-like is a good accessible description). It was inspired by a datalog-based language called Dedalus (amongst other things).

Re:Things that Idris improves things over Haskell by hellbanner on Sunday June 18, 2017 @12:12PM (#14581294)
Yes, thank you!