lambda-nantes/rust/tests, branch main Unnamed repository; edit this file 'description' to name the repository. https://git.punkachien.net/lambda-nantes/atom/rust/tests?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 Implement sub-process based tester 2024-09-29T15:26:45Z Arnaud Bailly arnaud.bailly@iohk.io 2024-09-29T15:26:45Z urn:sha1:96d6a0a2b562f81c5c14532487ce03a1a9065e6b 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 Introduce basic REPL 2024-09-25T12:37:06Z Arnaud Bailly arnaud.bailly@iohk.io 2024-09-25T12:37:06Z urn:sha1:0fed41e6afbf32d274660cc3ec435686901d12c4 Let creates a new environment 2024-09-25T12:11:41Z Arnaud Bailly arnaud.bailly@iohk.io 2024-09-25T12:11:41Z urn:sha1:778881eda5b0955fb4c845fb29097f048491f007 Add integration test for normal form 2024-09-25T10:00:42Z Arnaud Bailly arnaud.bailly@iohk.io 2024-09-25T10:00:42Z urn:sha1:ec3637ab27df1fc9faeaac9977ee9e184cf4942e Add integration test for application 2024-09-24T14:37:18Z Arnaud Bailly arnaud.bailly@iohk.io 2024-09-24T14:37:18Z urn:sha1:530fc2be095873b2cdc112216459c462e3e4b462 Can parse and evaluate boolean atoms 2024-09-23T13:35:01Z Arnaud Bailly arnaud.bailly@iohk.io 2024-09-23T13:35:01Z urn:sha1:098968d1a8f39ab5eb670b7f5370817343a0f88f Scaffolding of main, library, and tests 2024-09-23T12:36:15Z Arnaud Bailly arnaud.bailly@iohk.io 2024-09-23T12:36:15Z urn:sha1:de98bfc28feebfe112a378017c73d0e20dfb2937