src/K/Ast.hs


1
2
3
4
5
6
7
8
9
10
11

module K.Ast where

data Expr
    = Tru
    | Fals
    | Zero
    | IsZero Expr
    | Succ Expr
    | Pred Expr
    | If Expr Expr Expr
      deriving (Eq, Show)