module Grin.Grin where


data Exp
data Grin
data Val
data Lam