lambda-nantes/rust/sample, branch main Unnamed repository; edit this file 'description' to name the repository. https://git.punkachien.net/lambda-nantes/atom/rust/sample?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 Rename eval() to be more specific 2024-10-01T18:10:02Z Arnaud Bailly arnaud.bailly@iohk.io 2024-10-01T18:10:02Z urn:sha1:cd3c54945d8bff57b121a2f834d165314e0f0738 Add test for natural numbers addition 2024-10-01T07:47:25Z Arnaud Bailly arnaud.bailly@iohk.io 2024-10-01T07:47:25Z urn:sha1:055bd8d02ed6f9e97369fa1f77d918ea255dcb99 Add some documentation and a sample for pairs 2024-09-30T13:07:30Z Arnaud Bailly arnaud.bailly@iohk.io 2024-09-30T13:07:30Z urn:sha1:7336b25d74ad0d8b3b15444582afc082ee30562a Implement sub-process based tester 2024-09-29T15:26:45Z Arnaud Bailly arnaud.bailly@iohk.io 2024-09-29T15:26:45Z urn:sha1:96d6a0a2b562f81c5c14532487ce03a1a9065e6b More sample basic lambda terms 2024-09-29T10:56:20Z Arnaud Bailly arnaud.bailly@iohk.io 2024-09-29T10:56:20Z urn:sha1:9dcff1ea1b11f765f074d9b93e67bc6760f52049 Extract IO operations to own module 2024-09-25T19:49:33Z Arnaud Bailly arnaud.bailly@iohk.io 2024-09-25T19:49:33Z urn:sha1:3ac809d7f8c4f29bfcd0a52c7e168e783abc88df Can parse and evaluate multiple expressions from a single input 2024-09-25T10:19:07Z Arnaud Bailly arnaud.bailly@iohk.io 2024-09-25T10:18:02Z urn:sha1:a99986ec4c903f116a5ed264f5cbbcba954c9338 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