Skip to content

Pull requests: plfa/plfa.github.io

New pull request New
10 Open 740 Closed
10 Open 740 Closed
Author
Filter by author
Label
Filter by label
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Milestones
Filter by milestone
Reviews
Filter by reviews
No reviews Review required Approved review Changes requested
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

Prevent color change of visited definitions in code blocks
#990 opened May 3, 2024 by adql Loading…
1
4
Add warning about C-space on Mac
#988 opened Apr 29, 2024 by KevinDCarlson Loading…
2
Suggested modification to first exercise
#986 opened Apr 29, 2024 by KevinDCarlson Loading…
1
6
Add devcontainer support
#973 opened Mar 5, 2024 by weihongliang233 Loading…
Bump html-validate from 8.8.0 to 8.11.1
dependencies Pull requests that update a dependency file. javascript Pull requests that update Javascript code
#966 opened Feb 26, 2024 by dependabot bot Loading…
@wenkokke
1
paragraph on normal order reduction in Untyped chapter
#962 opened Feb 9, 2024 by peterthiemann Loading…
Bump Agda *2.6.3 -> 2.6.4
#936 opened Nov 13, 2023 by wenkokke Loading…
Bump EPUBCheck *4.2.6 -> 5.1.0
#935 opened Nov 13, 2023 by wenkokke Loading…
Add a tips page to the book
#881 opened Jun 2, 2023 by michaelpj • Draft
15
Bisimulation: add a note about requirements of bisimulation
#785 opened Nov 10, 2022 by fangyi-zhou • Draft
@wadler
2
ProTip! Type g p on any issue or pull request to go back to the pull request listing page.