lambda-nantes/lambda-calcul/haskell/app/Main.hs, branch main Unnamed repository; edit this file 'description' to name the repository. https://git.punkachien.net/lambda-nantes/atom/lambda-calcul/haskell/app/Main.hs?h=main 2026-03-22T12:16:21Z Add builtin arithmetic operators 2026-03-22T12:16:21Z Arnaud Bailly arnaud@pankzsoft.com 2026-03-22T12:16:21Z urn:sha1:4fed459d89b6b3abcce8028b19af806b48a38bd7 * also allow choosing evaluator * ensures equivalence of evaluators up-to α-renaming * checks server accepts answers from challenge can parse whole programs and load them 2025-11-05T11:02:23Z Arnaud Bailly arnaud@pankzsoft.com 2025-11-05T11:02:23Z urn:sha1:99e2ce71faa82e7b99574895e0fe24183ba9f6c3 Add server capability 2025-11-01T16:45:25Z Arnaud Bailly arnaud@pankzsoft.com 2025-11-01T16:45:25Z urn:sha1:2a20afb971ef3323955964b1bbb5f75af4ca5fcb wip: port REPL from minilang 2025-10-28T19:14:16Z Arnaud Bailly arnaud@pankzsoft.com 2025-10-28T19:14:16Z urn:sha1:1d1f0efc7de1eaa0c8a6b503892c2f950008fde6 feat: add basic application to evaluate "programs" 2025-10-17T08:14:33Z Arnaud Bailly arnaud@pankzsoft.com 2025-10-17T07:52:06Z urn:sha1:c3a175e808b279eb415bcb5dbcb9db5f34035f98 The main simply reads from its stdin, evaluates its input, and dump the result of the evaluation.