djinn-lib-0.0.1.2: Generate Haskell code from a type. Library extracted from djinn package.

Safe HaskellSafe-Inferred
LanguageHaskell98

Djinn.LJTFormula

Documentation

newtype Symbol Source

Constructors

Symbol String 

Instances

(&) :: Formula -> Formula -> Formula infixl 4 Source

(|:) :: Formula -> Formula -> Formula infixl 3 Source