diff options
| author | Greg Brown <gmb60@cam.ac.uk> | 2020-11-20 16:04:50 +0000 |
|---|---|---|
| committer | Greg Brown <gmb60@cam.ac.uk> | 2020-11-20 16:04:50 +0000 |
| commit | aa7585d8bf84f27adeaf57e35f430e2e82a5d208 (patch) | |
| tree | d96b08c3156b976455091d862f157b8e52c66c2d /.gitignore | |
| parent | 8939af712e6c3ae5d23019ec5dd941f1dae6c7fb (diff) | |
Precompute properties of well-typed terms
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions