diff options
| author | Arnaud Bailly <arnaud@pankzsoft.com> | 2025-11-01 17:45:25 +0100 |
|---|---|---|
| committer | Arnaud Bailly <arnaud@pankzsoft.com> | 2025-11-01 17:45:25 +0100 |
| commit | 2a20afb971ef3323955964b1bbb5f75af4ca5fcb (patch) | |
| tree | 575b3ef097729846ac09e18e2d579ae0577accd8 /lambda-calcul/haskell/src/Minilang/Lambda/Eval.hs | |
| parent | 1d1f0efc7de1eaa0c8a6b503892c2f950008fde6 (diff) | |
| download | lambda-nantes-2a20afb971ef3323955964b1bbb5f75af4ca5fcb.tar.gz | |
Add server capability
Diffstat (limited to 'lambda-calcul/haskell/src/Minilang/Lambda/Eval.hs')
| -rw-r--r-- | lambda-calcul/haskell/src/Minilang/Lambda/Eval.hs | 9 |
1 files changed, 6 insertions, 3 deletions
diff --git a/lambda-calcul/haskell/src/Minilang/Lambda/Eval.hs b/lambda-calcul/haskell/src/Minilang/Lambda/Eval.hs index 58f8ba6..7f7aad7 100644 --- a/lambda-calcul/haskell/src/Minilang/Lambda/Eval.hs +++ b/lambda-calcul/haskell/src/Minilang/Lambda/Eval.hs @@ -1,13 +1,16 @@ +{-# LANGUAGE DeriveAnyClass #-} + module Minilang.Lambda.Eval where -import Data.Text (Text, unpack) -import Debug.Trace (trace) +import Data.Aeson (FromJSON, ToJSON) +import Data.Text (Text) +import GHC.Generics (Generic) data Term = Var Text | Lam Text Term | App Term Term - deriving (Show, Read, Eq) + deriving (Show, Read, Eq, Generic, ToJSON, FromJSON) type Env = [(Text, Term)] |