


--------------------------------------------------------------------
-- |
-- Copyright :  (c) Andreas Reuleaux 2015
-- License   :  BSD2
-- Maintainer:  Andreas Reuleaux <rx@a-rx.info>
-- Stability :  experimental
-- Portability: non-portable
--
-- This module provides Pire's syntax,
-- ie. Pire's flavour of Pi-forall syntax:
-- expressions, annotations, ... (mutally recursive defs)
--------------------------------------------------------------------




module Pire.Syntax.Ex where


import qualified Data.Text as T


import Pire.Syntax.Expr



type Ex = Expr T.Text T.Text
