Safe HaskellNone

Dpfs.SimpCnf

Synopsis

Documentation

class Ord a => Fresh a

Instances

Fresh Char 
Fresh Int 
(Show a, Fresh a) => Fresh [a] 
Fresh (Int, [Int]) 

fastcnfInt :: (Ord a, Fresh a, Show a) => Pexpr a -> Pexpr a

Add documentation here

pcnf :: (Ord a, Show a) => Pexpr a -> Pexpr a