diff options
| author | Arnaud Bailly <arnaud@pankzsoft.com> | 2025-11-06 08:14:58 +0100 |
|---|---|---|
| committer | Arnaud Bailly <arnaud@pankzsoft.com> | 2025-11-06 08:14:58 +0100 |
| commit | 6d35fd9630238375cc28a282780f597421107469 (patch) | |
| tree | d4f02ab20c7735396ae0fbed70a3d8434a6a6773 /lambda-calcul/haskell/challenges.json | |
| parent | 15c684d437da53ddfb88bbc9ad566588f89732c1 (diff) | |
| download | lambda-nantes-6d35fd9630238375cc28a282780f597421107469.tar.gz | |
updated challenges
Diffstat (limited to 'lambda-calcul/haskell/challenges.json')
| -rw-r--r-- | lambda-calcul/haskell/challenges.json | 19 |
1 files changed, 10 insertions, 9 deletions
diff --git a/lambda-calcul/haskell/challenges.json b/lambda-calcul/haskell/challenges.json index 1261721..4c247af 100644 --- a/lambda-calcul/haskell/challenges.json +++ b/lambda-calcul/haskell/challenges.json @@ -6,14 +6,15 @@ {"level":4, "expr": "(x y)"}, {"level":5, "expr": "((lam (x) x) y)"}, {"level":6, "expr": "((lam (x y) x) z)"}, - {"level":7, "expr": "((lam (x y) x) z t)"}, - {"level":8, "expr": "((lam (x y) x) z t foo)"}, - {"level":9, "expr": "(let ((id (lam (x) x))) (id z))"}, + {"level":7, "expr": "(((lam (z) x) z) y)"}, + {"level":8, "expr": "((lam (x y) x) z t)"}, + {"level":9, "expr": "((lam (x y) x) z t foo)"}, {"level":10, "expr": "(let ((id (lam (x) x))) (id z))"}, - {"level":11, "expr": "(let ((False (lam (f t) f))\n (True (lam (f t) t))\n (Not (lam (b) (b True False))))\n (Not True))"}, - {"level":12, "expr": "(let ((False (lam (f t) f))\n (True (lam (f t) t))\n (Not (lam (b) (b True False))))\n (Not (Not True)))"}, - {"level":13, "expr": "(def False (lam (f t) f))\n (def True (lam (f t) t))\n (def Not (lam (b) (b True False)))\n (Not (Not True)))"}, - {"level":14, "expr": "(def False (lam (f t) f))\n (def True (lam (f t) t))\n (def Not (lam (b) (b True False)))"}, - {"level":15, "expr": "(def Or (lam (a b) (a b True)))"}, - {"level":16, "expr": "(Or (Not True) False)"} + {"level":11, "expr": "(let ((id (lam (x) x))) (id z))"}, + {"level":12, "expr": "(let ((False (lam (f t) f))\n (True (lam (f t) t))\n (Not (lam (b) (b True False))))\n (Not True))"}, + {"level":13, "expr": "(let ((False (lam (f t) f))\n (True (lam (f t) t))\n (Not (lam (b) (b True False))))\n (Not (Not True)))"}, + {"level":14, "expr": "(def False (lam (f t) f))\n (def True (lam (f t) t))\n (def Not (lam (b) (b True False)))\n (Not (Not True)))"}, + {"level":15, "expr": "(def False (lam (f t) f))\n (def True (lam (f t) t))\n (def Not (lam (b) (b True False)))"}, + {"level":16, "expr": "(def Or (lam (a b) (a b True)))"}, + {"level":17, "expr": "(Or (Not True) False)"} ] |