issues
search
stedolan
/
counterexamples
Counterexamples in Type Systems
http://counterexamples.org
372
stars
23
forks
source link
fix typo in strict-positivity
#15
Open
thyecust
opened
1 year ago