lambda-nantes/rust/sample/test_nat.txt, branch main Unnamed repository; edit this file 'description' to name the repository. https://git.punkachien.net/lambda-nantes/atom/rust/sample/test_nat.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 More sample basic lambda terms 2024-09-29T10:56:20Z Arnaud Bailly arnaud.bailly@iohk.io 2024-09-29T10:56:20Z urn:sha1:9dcff1ea1b11f765f074d9b93e67bc6760f52049