lambda-nantes/lambda-calcul/haskell, branch mainUnnamed repository; edit this file 'description' to name the repository.https://git.punkachien.net/lambda-nantes/atom/lambda-calcul/haskell?h=main2026-04-01T14:53:59ZFix UI following change in commands output2026-04-01T14:53:59ZArnaud Baillyarnaud@pankzsoft.com2026-04-01T14:53:59Zurn:sha1:e00af962a3e62bf221c5ed16127acb833821c7cd
There should really exist tests for that 🙄
Remove answers from sent challenges2026-04-01T14:22:02ZArnaud Baillyarnaud@pankzsoft.com2026-04-01T14:18:01Zurn:sha1:f6dde1041a52da4f2e7ccb77eed3c577f9d07798
Also fix integration test
Add strings handling2026-03-22T15:05:42ZArnaud Baillyarnaud@pankzsoft.com2026-03-22T15:05:42Zurn:sha1:a1e0b0e5071f851c865ae567de7a28014a1eafc4Add builtin arithmetic operators2026-03-22T12:16:21ZArnaud Baillyarnaud@pankzsoft.com2026-03-22T12:16:21Zurn:sha1:4fed459d89b6b3abcce8028b19af806b48a38bd7
* also allow choosing evaluator
* ensures equivalence of evaluators up-to α-renaming
* checks server accepts answers from challenge
Add integration test for all challenges2026-03-22T09:54:07ZArnaud Baillyarnaud@pankzsoft.com2026-03-22T09:54:07Zurn:sha1:afb965ca75a106063c36195a1c180baebe610115Add integers parsing2026-03-22T07:49:18ZArnaud Baillyarnaud@pankzsoft.com2026-03-22T07:49:18Zurn:sha1:91ae5eb9e16b00603c3dfa5ec123c64dd140765dAdd more challenges and plans for enhancement of the interpreter2026-03-21T08:06:47ZArnaud Baillyarnaud@pankzsoft.com2026-03-21T08:06:47Zurn:sha1:fade9c496cebbc0caa97821cb85e9e56da31c57fstart simple bank example2025-11-29T08:07:09ZArnaud Baillyarnaud@pankzsoft.com2025-11-29T08:07:09Zurn:sha1:a8c27de3f4434d8a08e953b95b47a4161f9473edfix call-by-value evaluator base on NBE2025-11-07T18:26:01ZArnaud Baillyarnaud@pankzsoft.com2025-11-07T18:26:01Zurn:sha1:e656098a35ee9cc0bc86729d2ebbbb13047ad61dfix terminal height2025-11-06T09:50:36ZArnaud Baillyarnaud@pankzsoft.com2025-11-06T09:50:36Zurn:sha1:28cd86d285bf2d4d76ba7fff87fbea2e3950ce8b