search

stedolan / counterexamples

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

Fix a few typos #1

Closed craigfe closed 3 years ago

craigfe commented 3 years ago

Thanks for this excellent resource :-)

This fixes a few typos that I spotted on my first read-through.

stedolan commented 3 years ago

Thanks for these!