Advertisement
Not a member of Pastebin yet?
Sign Up,
it unlocks many cool features!
- type Sum a = [(Sign, a)]
- type Prod a = [(Sigil, a)]
- data Exp where
- Atom :: Var -> Exp
- PofS :: Prod (Sum Exp) -> Exp
- deriving (Show, Ord, Eq)
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement
