lambda-nantes/rust/src/lambda.rs, branch main Unnamed repository; edit this file 'description' to name the repository. https://git.punkachien.net/lambda-nantes/atom/rust/src/lambda.rs?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 Built-in /eval endpoint sometimes return garbage 2024-10-10T16:28:45Z Arnaud Bailly arnaud.bailly@iohk.io 2024-10-10T16:28:45Z urn:sha1:6c6528ae00bbbdce5571379bb2ad2118632d5dbf Improve leaderboard to add timestamp and result 2024-10-10T16:23:02Z Arnaud Bailly arnaud.bailly@iohk.io 2024-10-10T16:23:02Z urn:sha1:653c7d93e9f8ecae78bdd2d884cce59041b11202 Generate multiple expressions 2024-10-09T13:55:14Z Arnaud Bailly arnaud@pankzsoft.com 2024-10-09T13:55:14Z urn:sha1:c8d286239ef0d14a985cdcc26e0eda57098a5db1 Use 32 bits seed for generating terms 2024-10-09T13:27:29Z Arnaud Bailly arnaud.bailly@iohk.io 2024-10-09T13:27:29Z urn:sha1:2d64cfbafc81cc92bcca3fe758391fb94e5fea9f [wip] generate nested terms through pairing function 2024-10-09T11:29:57Z Arnaud Bailly arnaud.bailly@iohk.io 2024-10-09T11:29:57Z urn:sha1:8d61fb9ca076f481850425f4424469acbb1afe7c [wip] client generates applications with more than 2 terms 2024-10-09T07:38:52Z Arnaud Bailly arnaud.bailly@iohk.io 2024-10-09T07:38:52Z urn:sha1:e4af8559784e851047702045ff677c9a91897fdd Generate simple lambda forms 2024-10-09T05:45:10Z Arnaud Bailly arnaud.bailly@iohk.io 2024-10-09T05:45:10Z urn:sha1:2ae4f8552b7101e118dc0a46797bc6ba6945a7b1 Generate nested binary applications 2024-10-08T20:32:44Z Arnaud Bailly arnaud.bailly@iohk.io 2024-10-08T20:32:44Z urn:sha1:e8ab131a2b54aa4252ccda3261a0a6a2ade6a273 Also factor out common strategies into functions Generate simple applications 2024-10-08T19:09:37Z Arnaud Bailly arnaud.bailly@iohk.io 2024-10-08T19:09:37Z urn:sha1:5d24ab1e8765dbd5001aba21fe59d754224720f5