lambda-nantes/lambda-calcul/haskell/test/Minilang/REPL/NetSpec.hs, branch mainUnnamed repository; edit this file 'description' to name the repository.https://git.punkachien.net/lambda-nantes/atom/lambda-calcul/haskell/test/Minilang/REPL/NetSpec.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
evaluate terms when defining them2025-11-06T07:35:36ZArnaud Baillyarnaud@pankzsoft.com2025-11-06T07:35:36Zurn:sha1:b87d5b45110cd7efe7109dd6d4e9c19ef28522aaDefault REPL to Untyped language2025-11-04T07:47:15ZArnaud Baillyarnaud@pankzsoft.com2025-11-04T07:10:46Zurn:sha1:1083bb7758a2dfe3f2861bf802627cec16933861resugar evaluated term2025-11-03T21:08:25ZArnaud Baillyarnaud@pankzsoft.com2025-11-03T21:08:25Zurn:sha1:186785c7bc7d511fef75ec22e72143f7707ae886Handle :lang in REPL2025-11-03T20:22:52ZArnaud Baillyarnaud@pankzsoft.com2025-11-03T20:22:52Zurn:sha1:16e0642ee4d09df1b032f8d30c7050cfac4d12f7Add tests for Net-based REPL2025-11-01T18:09:40ZArnaud Baillyarnaud@pankzsoft.com2025-11-01T18:09:40Zurn:sha1:10a9c6ba7bce2eefec3b43f1444ab6f732bdc50e