wip

Author: rasheedja

src/Linear/Var/Types.hs

@@ -0,0 +1,11 @@
+module Linear.Var.Types where
+
+import qualified Data.Map as M
+import GHC.Generics (Generic)
+import Test.QuickCheck (Arbitrary)
+
+type SimplexNum = Rational
+
+newtype Var = Var {unVar :: Int}
+  deriving (Show, Read, Eq, Ord, Generic)
+  deriving newtype (Arbitrary)