Safe Haskell | Safe |
---|---|
Language | Haskell98 |
Djinn.LJTFormula
Documentation
Instances
Eq Symbol Source # | |
Ord Symbol Source # | |
Show Symbol Source # | |
Instances
Eq Formula Source # | |
Ord Formula Source # | |
Defined in Djinn.LJTFormula | |
Show Formula Source # | |
Instances
Eq ConsDesc Source # | |
Ord ConsDesc Source # | |
Defined in Djinn.LJTFormula | |
Show ConsDesc Source # | |