R

Reskell

Experimental Haskell implementation of lattice-valued resolution.