search

steshaw / plt

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

Hmm...I can't seem to do a pull request for some reason. New to Github.... #60

Closed Francesco601 closed 1 year ago

Francesco601 commented 1 year ago

I gave the wrong url in my first comment. Here's the one you linked to. https://plato.stanford.edu/entries/type-theory/ And here is the original one that I meant to post https://plato.stanford.edu/entries/lambda-calculus/

Francesco601 commented 1 year ago

Another one I found helpful myself that I don't think is listed already; https://personal.utdallas.edu/~gupta/courses/apl/lambda.pdf

markgreene74 commented 1 year ago

I can't seem to do a pull request for some reason

@Francesco601 have a look at this page: https://docs.github.com/en/pull-requests/collaborating-with-pull-requests/proposing-changes-to-your-work-with-pull-requests/creating-a-pull-request-from-a-fork

steshaw commented 1 year ago

It looks like you're all sorted. Just merged you first PR https://github.com/steshaw/plt/pull/62.