issues
search
AndrasKovacs
/
elaboration-zoo
Minimal implementations for dependent type checking and elaboration
BSD 3-Clause "New" or "Revised" License
600
stars
34
forks
source link
Update nosubst.md
#1
Closed
ggreif
closed
8 years ago