search

steshaw / plt

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

fix type theory subtopics links #19

Closed 0joshuaolson1 closed 8 years ago

steshaw commented 8 years ago

Thanks. I already addressed this issue https://github.com/steshaw/plt/commit/e6fda8aa99471e9a25bcbf1aed5ed39f61f01cf0