search

steshaw / plt

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

Correct name. #4

Closed cmeiklejohn closed 9 years ago

cmeiklejohn commented 9 years ago

Fix the capitalization and spelling of Peter Van Roy's name.

steshaw commented 9 years ago

Cheers, @cmeiklejohn!