search

stedolan / counterexamples

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

Fix broken link to Derek Dreyer's thesis #19

Open mheiber opened 1 year ago