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