diff options
| author | Arnaud Bailly <arnaud@pankzsoft.com> | 2025-12-01 16:54:06 +0100 |
|---|---|---|
| committer | Arnaud Bailly <arnaud@pankzsoft.com> | 2025-12-01 16:54:06 +0100 |
| commit | f8f9f6d77ad589dcbdf2749cade4cadc827c805f (patch) | |
| tree | 27e68dc224d82d8981cd5cdc9aeee31702983f79 /lambda-calcul/rust/proptest-regressions/lambda.txt | |
| parent | 8736fba2ab94cd307905585f81f87d4df9eef3e4 (diff) | |
| download | lambda-nantes-f8f9f6d77ad589dcbdf2749cade4cadc827c805f.tar.gz | |
implement op sequence property
Diffstat (limited to 'lambda-calcul/rust/proptest-regressions/lambda.txt')
0 files changed, 0 insertions, 0 deletions