search

stedolan / counterexamples

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

Fix typo in Scoping #23

Closed tz18 closed 1 year ago

stedolan commented 1 year ago

Thanks!