diff options
| author | Arnaud Bailly <arnaud@pankzsoft.com> | 2025-11-29 09:07:09 +0100 |
|---|---|---|
| committer | Arnaud Bailly <arnaud@pankzsoft.com> | 2025-11-29 09:07:09 +0100 |
| commit | a8c27de3f4434d8a08e953b95b47a4161f9473ed (patch) | |
| tree | 426e6840756dc40881a6bb7384e7f7107e3a2d88 /lambda-calcul | |
| parent | 97e0dfa41a50d9b7af7d1769e2e712625efb3175 (diff) | |
| download | lambda-nantes-a8c27de3f4434d8a08e953b95b47a4161f9473ed.tar.gz | |
start simple bank example
Diffstat (limited to 'lambda-calcul')
| -rw-r--r-- | lambda-calcul/README.md | 1 | ||||
| -rw-r--r-- | lambda-calcul/haskell/minilang.cabal | 1 |
2 files changed, 2 insertions, 0 deletions
diff --git a/lambda-calcul/README.md b/lambda-calcul/README.md index c37f51d..4ba2275 100644 --- a/lambda-calcul/README.md +++ b/lambda-calcul/README.md @@ -1,3 +1,4 @@ * [on ruliology and λ-calcul](https://writings.stephenwolfram.com/2025/09/the-ruliology-of-lambdas/) * [typechecker zoo](https://www.stephendiehl.com/posts/typechecker_zoo/) * [A tale of 4 lambdas](https://raw.githubusercontent.com/steshaw/lennart-lambda/master/top.pdf) +* https://github.com/brendanzab/language-garden/tree/main/lang-lc-interpreters diff --git a/lambda-calcul/haskell/minilang.cabal b/lambda-calcul/haskell/minilang.cabal index 200e5c5..d508959 100644 --- a/lambda-calcul/haskell/minilang.cabal +++ b/lambda-calcul/haskell/minilang.cabal @@ -104,6 +104,7 @@ test-suite minilang-test Minilang.REPL.HaskelineSpec Minilang.REPL.NetSpec Minilang.ServerSpec + Exalt.APISpec hs-source-dirs: test default-extensions: |