lambda-nantes/lambda-calcul/haskell/src/Minilang/Lambda/Unify.hs, branch mainUnnamed repository; edit this file 'description' to name the repository.https://git.punkachien.net/lambda-nantes/atom/lambda-calcul/haskell/src/Minilang/Lambda/Unify.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
better rendering for type errors and evaluation2025-11-02T20:35:19ZArnaud Baillyarnaud@pankzsoft.com2025-11-02T20:35:19Zurn:sha1:fc00cff556372e914d3cf15c39700b4ff7c3541cAdd server capability2025-11-01T16:45:25ZArnaud Baillyarnaud@pankzsoft.com2025-11-01T16:45:25Zurn:sha1:2a20afb971ef3323955964b1bbb5f75af4ca5fcbwip: port REPL from minilang2025-10-28T19:14:16ZArnaud Baillyarnaud@pankzsoft.com2025-10-28T19:14:16Zurn:sha1:1d1f0efc7de1eaa0c8a6b503892c2f950008fde6add minimal evaluator and type inference2025-10-13T07:27:07ZArnaud Baillyarnaud@pankzsoft.com2025-10-13T07:27:07Zurn:sha1:3a67e69bfe9492d2a2fc5e4b07cc8c909a346064