search

steshaw / plt

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

Added three links to index.md #62

Closed Francesco601 closed 1 year ago

Francesco601 commented 1 year ago

I've added three thinks to the page: one under the heading "Type Theory" and two under the topic of "Functional Programming" though I was not sure between that and putting it in the math section. I'm sorry for any inconvenience. Just learning the ropes. It seems to say that I deleted something but I did not except in my own fork in the Readme.md file.

steshaw commented 1 year ago

Thanks 👍. You didn't seem to delete anything. There was just some stray whitespace in there!