lambda-nantes/rust/sample/test_full.txt, branch main Unnamed repository; edit this file 'description' to name the repository. https://git.punkachien.net/lambda-nantes/atom/rust/sample/test_full.txt?h=main 2025-01-25T09:45:41Z Move λ-calcul workshop code to subdirectory 2025-01-25T09:45:41Z Arnaud Bailly arnaud.bailly@iohk.io 2025-01-25T09:45:41Z urn:sha1:7752d73216578d5961751b5d0535088d384b4aa6 alpha-conversion when substituting variables under lambda 2024-09-24T17:59:05Z Arnaud Bailly arnaud.bailly@iohk.io 2024-09-24T17:59:05Z urn:sha1:24bc06c9d553a94306534c9d41cb632ebfd36aae Add integration test for application 2024-09-24T14:37:18Z Arnaud Bailly arnaud.bailly@iohk.io 2024-09-24T14:37:18Z urn:sha1:530fc2be095873b2cdc112216459c462e3e4b462 Main prints result of interpreter 2024-09-24T09:38:35Z Arnaud Bailly arnaud.bailly@iohk.io 2024-09-24T09:37:58Z urn:sha1:95d2e9f7ae5a1e813b015d64821e774969a6ac51