Syntax.hs

   1 module Syntax where
   2
   3 -- | Usual syntax for type-preserving term-abstraction.
   4 class Abstractable repr where
   5   -- | Lambda term (abstract).
   6   lam :: (repr a -> repr b) -> repr (a -> b)
   7   -- | Term application (unabstract).
   8   (.@) :: repr (a -> b) -> repr a -> repr b; infixl 9 .@