diff options
| author | Arnaud Bailly <arnaud@pankzsoft.com> | 2025-11-15 09:33:09 +0100 |
|---|---|---|
| committer | Arnaud Bailly <arnaud@pankzsoft.com> | 2025-11-15 09:33:09 +0100 |
| commit | 57472750c9cd14b9907895e5269b3be01819c7b3 (patch) | |
| tree | 093728bce8c71dad24f9e2665dc70ff7f1b60f35 /lambda-calcul/haskell/test/Minilang/Lambda/InferSpec.hs | |
| parent | 208fd364a9a8bdc0e12993ace4f1829303548476 (diff) | |
| download | lambda-nantes-57472750c9cd14b9907895e5269b3be01819c7b3.tar.gz | |
[pbt] expose simpler interface Property.run
Diffstat (limited to 'lambda-calcul/haskell/test/Minilang/Lambda/InferSpec.hs')
0 files changed, 0 insertions, 0 deletions