AndrasKovacs/elaboration-zoo
Minimal implementations for dependent type checking and elaboration
811
Stars
51
Forks
811
Watchers
3
Issues
Loading additional information…