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