search

steshaw / plt

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

Add Program = Proof in Type Theory Books #56

Closed sngbd closed 2 years ago

steshaw commented 2 years ago

Excellent, thanks!