diff options
| author | Arnaud Bailly <arnaud@pankzsoft.com> | 2025-12-02 14:56:14 +0100 |
|---|---|---|
| committer | Arnaud Bailly <arnaud@pankzsoft.com> | 2025-12-02 14:56:14 +0100 |
| commit | 13f2a4f28adc88ee82aa42b9d21ad457d27c2dbc (patch) | |
| tree | 7b5f2690306dd598b9d40c030d6d2d055b0e8d0e /lambda-calcul/rust/proptest-regressions/lambda.txt | |
| parent | 133fcd156d3d11cbdc4ffad1cfca3b814ace48b0 (diff) | |
| download | lambda-nantes-13f2a4f28adc88ee82aa42b9d21ad457d27c2dbc.tar.gz | |
rename fake/real matching property
Diffstat (limited to 'lambda-calcul/rust/proptest-regressions/lambda.txt')
0 files changed, 0 insertions, 0 deletions