Changeset 29 for sizechecking/branches/macs/Proof.hs

Timestamp:

May 15, 2014, 7:25:06 PM (11 years ago)

Author:

gobi

Message:

move to separate file

File:

• sizechecking/branches/macs/Proof.hs (modified) (2 diffs)

sizechecking/branches/macs/Proof.hs

@@ -1 @@
-{-# LANGUAGE TypeFamilies #-}
+{-# LANGUAGE TypeFamilies, Rank2Types #-}
 
 module Proof where
@@ -11 +11 @@
 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