Add "Programming Languages: Build, Prove, and Compare" to PL - Githubissues

steshaw / plt

Programming Language Theory λΠ

https://steshaw.org/plt/

5.24k stars 340 forks source link

Add "Programming Languages: Build, Prove, and Compare" to PL #58

Closed bzy-debug closed 1 year ago

steshaw commented 1 year ago

Excellent to find out about this book! Thanks for the contribution!