Huff

huff

type Spec a

data Domain a

data Problem

data Literal

data Term

(/\)

(\/)

imply

class Has_neg a

findPlan