Permalink
Browse files

Forgot to commit this file.

  • Loading branch information...
luqui committed Jun 10, 2009
1 parent eb35299 commit f2643397a5030fddb88b4e7a6e509ce473f8ee3e
Showing with 16 additions and 0 deletions.
  1. +16 −0 experiments/interp-stack/InterpStack/Exp.hs
@@ -0,0 +1,16 @@
+module InterpStack.Exp where
+
+infixl 9 :%
+data Exp a
+ = Exp a :% Exp a
+ | Lam (Exp a)
+ | Var Int
+ | Lit a
+ deriving (Show)
+
+class Value v where
+ applyValue :: v -> v -> v
+
+data Interp = Interp {
+ eval :: forall v. (Value v) => Exp v -> Maybe v
+}

0 comments on commit f264339

Please sign in to comment.