diff options
| author | Greg Brown <greg.brown01@ed.ac.uk> | 2024-09-09 11:33:45 +0100 |
|---|---|---|
| committer | Greg Brown <greg.brown01@ed.ac.uk> | 2024-09-09 11:33:45 +0100 |
| commit | 3a23bd851fc1a5d6e161dabc8a13f06bc8544a1d (patch) | |
| tree | 301955e4e32dc7d5edafb98e7e373d439168e420 /.gitignore | |
| parent | 3da61a4ffb9cb2d535d518e70c6c90cd73cc3573 (diff) | |
Restart.
- use De Bruijn, as Namely, Painless had more pain than promised;
- remove higher-kinded types;
- provide ill-typing predicates;
- prove substitution respects ill-typing;
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions