purescript-kleene-logic (bower): Kleene Logic in purescript
Keywords: kleene|lattice|logic|many-valued-logic|semilattice