PureScript implementation of the success-failure-continuation-based backtracking monad transformer.
Updated 6 months ago
A unification monad implemented using PureScript.
Updated 6 months ago
A tiny little logic programming language
Updated 6 months ago