Pull requests: plfa/plfa.github.io
Pull requests list
Bump sass from 1.97.1 to 1.97.2
dependencies
Pull requests that update a dependency file.
javascript
Pull requests that update Javascript code
#1166
opened Jan 7, 2026 by
dependabot
bot
Loading…
Update html-proofer requirement from ~> 5.1.0 to ~> 5.2.0
dependencies
Pull requests that update a dependency file.
ruby
Pull requests that update Ruby code
#1165
opened Jan 7, 2026 by
dependabot
bot
Loading…
motivate and explain parallel reduction, plus wordsmithing
#1020
opened Jul 26, 2024 by
nrnrnr
Loading…
Bisimulation: add a note about requirements of bisimulation
#785
opened Nov 10, 2022 by
fangyi-zhou
•
Draft
ProTip!
Find all pull requests that aren't related to any open issues with -linked:issue.