Repositories Users Organizations Code

Sort

Newest Oldest Alphabetically Reverse alphabetically Recently updated Least recently updated Most stars Fewest stars Most forks Fewest forks

Search

Everything-I-Know-About-Types / logict

PureScript 0 0

PureScript implementation of the success-failure-continuation-based backtracking monad transformer.

Updated 1 week ago

Everything-I-Know-About-Types / unifyt

PureScript 0 0

A unification monad implemented using PureScript.

Updated 1 week ago

Everything-I-Know-About-Types / bergamot

PureScript 0 0

A tiny little logic programming language

Updated 1 week ago