source: sizechecking/branches/macs/Proof.hs @ 28

{-# LANGUAGE TypeFamilies #-}

module Proof where

import Lambda
import Ops
import Size
import Exp
import SizedFun
import qualified Prelude
import Prelude (String, Int, ($), (.))


data ZContext = ZContext {}
data Constraint 
newtype Z a = Z { unZ :: SizeExp }

instance Size Q where
instance Lambda Z where
instance LOps Z where
instance Exp Z where