lambda-nantes/lambda-calcul/haskell/test/Minilang/REPLSpec.hs, branch mainUnnamed repository; edit this file 'description' to name the repository.https://git.punkachien.net/lambda-nantes/atom/lambda-calcul/haskell/test/Minilang/REPLSpec.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
evaluate terms when defining them2025-11-06T07:35:36ZArnaud Baillyarnaud@pankzsoft.com2025-11-06T07:35:36Zurn:sha1:b87d5b45110cd7efe7109dd6d4e9c19ef28522aado not display type when piping program2025-11-05T11:12:16ZArnaud Baillyarnaud@pankzsoft.com2025-11-05T11:12:16Zurn:sha1:ab1b426b917460c09079a21378848ad68242bc9dfix resolution of free variables2025-11-05T11:07:48ZArnaud Baillyarnaud@pankzsoft.com2025-11-05T11:07:48Zurn:sha1:10feb2dc8ad775a64b6db4d19c76bd6fa38044a8can parse whole programs and load them2025-11-05T11:02:23ZArnaud Baillyarnaud@pankzsoft.com2025-11-05T11:02:23Zurn:sha1:99e2ce71faa82e7b99574895e0fe24183ba9f6c3output type of definitions2025-11-05T08:17:15ZArnaud Baillyarnaud@pankzsoft.com2025-11-05T08:17:15Zurn:sha1:438e3f8c5dcdfeead15a6a9a1760f7c254fc54b2handle defitions in untyped language2025-11-05T08:15:46ZArnaud Baillyarnaud@pankzsoft.com2025-11-05T08:15:46Zurn:sha1:ae59f17cb3d58de7afca7f441d8bcf9a718e024cDefault REPL to Untyped language2025-11-04T07:47:15ZArnaud Baillyarnaud@pankzsoft.com2025-11-04T07:10:46Zurn:sha1:1083bb7758a2dfe3f2861bf802627cec16933861Handle :lang in REPL2025-11-03T20:22:52ZArnaud Baillyarnaud@pankzsoft.com2025-11-03T20:22:52Zurn:sha1:16e0642ee4d09df1b032f8d30c7050cfac4d12f7