search

steshaw / plt

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

add Seven Sketches in Compositionality and Applied CT Course #36

Closed lemastero closed 5 years ago

lemastero commented 5 years ago

add Seven Sketches in Compositionality and course Applied Category Theory Course based on this book

steshaw commented 5 years ago

Excellent. Thank you.