diff options
| author | Arnaud Bailly <arnaud.bailly@iohk.io> | 2025-01-25 22:36:19 +0100 |
|---|---|---|
| committer | Arnaud Bailly <arnaud.bailly@iohk.io> | 2025-01-25 22:36:19 +0100 |
| commit | 064e80689c7d7126a504400d8c4e962b6b334bac (patch) | |
| tree | f7c3aca995ac06ef534c4a213a70875e8f338eef /lambda-calcul/support/2024-10-10.pdf | |
| parent | 8bcaac40ee1afb8c36f98beabe0348ae3713d44d (diff) | |
| download | lambda-nantes-064e80689c7d7126a504400d8c4e962b6b334bac.tar.gz | |
Added some 'interesting' properties about lists
These are the classical properties from Claessen and Hughes' paper.
Shrinking is too expensive as it is so need to prune recursion tree.
Diffstat (limited to 'lambda-calcul/support/2024-10-10.pdf')
0 files changed, 0 insertions, 0 deletions