search

steshaw / plt

Programming Language Theory λΠ
https://steshaw.org/plt/
5.24k stars 340 forks source link

Changed How To Prove It link #2

Closed stevenspasbo closed 10 years ago

stevenspasbo commented 10 years ago

Link was giving a 404

steshaw commented 10 years ago

Thanks!