search

stedolan / counterexamples

Counterexamples in Type Systems
http://counterexamples.org
372 stars 23 forks source link

Fix typo on dubious-evidence #10

Closed xvw closed 3 years ago

stedolan commented 3 years ago

Thanks!