lambda-nantes/lambda-calcul/haskell/test/Minilang/IntegrationSpec.hs, branch mainUnnamed repository; edit this file 'description' to name the repository.https://git.punkachien.net/lambda-nantes/atom/lambda-calcul/haskell/test/Minilang/IntegrationSpec.hs?h=main2026-04-01T14:22:02ZRemove answers from sent challenges2026-04-01T14:22:02ZArnaud Baillyarnaud@pankzsoft.com2026-04-01T14:18:01Zurn:sha1:f6dde1041a52da4f2e7ccb77eed3c577f9d07798
Also fix integration test
Add 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:afb965ca75a106063c36195a1c180baebe610115