plfa/plfa.github.io issues and pull requests

#1056 - Fix Assignment 2 and lectures for week 7

Pull Request - State: closed - Opened by wadler 15 days ago

#1055 - Bump sass from 1.80.3 to 1.80.4

Pull Request - State: closed - Opened by dependabot[bot] 16 days ago
Labels: dependencies, javascript

#1054 - update headers for tspl schedule

Pull Request - State: closed - Opened by wadler 20 days ago

#1053 - Bump sass from 1.79.5 to 1.80.3

Pull Request - State: closed - Opened by dependabot[bot] 23 days ago
Labels: dependencies, javascript

#1052 - update Qualifiers to use records first

Pull Request - State: closed - Opened by wadler 28 days ago

#1051 - update Connectives to put records first

Pull Request - State: closed - Opened by wadler 29 days ago

#1050 - Bump sass from 1.79.4 to 1.79.5

Pull Request - State: closed - Opened by dependabot[bot] 30 days ago
Labels: dependencies, javascript

#1049 - fix imports for Negation

Pull Request - State: closed - Opened by wadler 30 days ago

#1048 - various updates

Pull Request - State: closed - Opened by wadler about 1 month ago

#1047 - Tspl 2024 10 11

Pull Request - State: open - Opened by wadler about 1 month ago

#1046 - update Assignment2, remove Base

Pull Request - State: closed - Opened by wadler about 1 month ago

#1045 - Bump cookie and socket.io

Pull Request - State: closed - Opened by dependabot[bot] about 1 month ago
Labels: dependencies, javascript

#1044 - [pre-commit.ci] pre-commit autoupdate

Pull Request - State: closed - Opened by pre-commit-ci[bot] about 1 month ago

#1043 - Issues with imports in the book?

Issue - State: closed - Opened by lidorcg about 1 month ago - 1 comment

#1042 - add link to Assignment1

Pull Request - State: closed - Opened by wadler about 1 month ago

#1041 - updated course page

Pull Request - State: closed - Opened by wadler about 1 month ago

#1040 - Bump sass from 1.79.3 to 1.79.4

Pull Request - State: closed - Opened by dependabot[bot] about 1 month ago
Labels: dependencies, javascript

#1039 - Bump JamesIves/github-pages-deploy-action from 4.6.4 to 4.6.8

Pull Request - State: closed - Opened by dependabot[bot] about 1 month ago
Labels: dependencies, github_actions

#1038 - Bump browser-sync from 3.0.2 to 3.0.3

Pull Request - State: closed - Opened by dependabot[bot] about 2 months ago
Labels: dependencies, javascript

#1037 - Bump sass from 1.78.0 to 1.79.3

Pull Request - State: closed - Opened by dependabot[bot] about 2 months ago
Labels: dependencies, javascript

#1036 - update web/TableOfContents

Pull Request - State: closed - Opened by wadler about 2 months ago

#1035 - update TSPL/2024

Pull Request - State: closed - Opened by wadler about 2 months ago

#1034 - Use JuliaMono as code font

Pull Request - State: closed - Opened by wenkokke 2 months ago

#1033 - Correcting Louis's webpage

Pull Request - State: closed - Opened by llemonnier 2 months ago

#1032 - set up TSPL 2024 course page

Pull Request - State: closed - Opened by wadler 2 months ago

#1031 - Fix a typo.

Pull Request - State: closed - Opened by OlingCat 2 months ago

#1030 - Bump sass from 1.77.8 to 1.78.0

Pull Request - State: closed - Opened by dependabot[bot] 2 months ago
Labels: dependencies, javascript

#1029 - fixed Induction and Equality for new equality chains

Pull Request - State: closed - Opened by wadler 2 months ago

#1028 - Update PLFA to use Agda v2.7

Pull Request - State: closed - Opened by wenkokke 2 months ago

#1027 - Bump JamesIves/github-pages-deploy-action from 4.6.3 to 4.6.4

Pull Request - State: closed - Opened by dependabot[bot] 2 months ago
Labels: dependencies, github_actions

#1026 - Holey version of PLFA?

Issue - State: closed - Opened by JacquesCarette 3 months ago - 6 comments

#1025 - document .gitignore. Add .DS_Store to it while at it.

Pull Request - State: open - Opened by JacquesCarette 3 months ago - 2 comments

#1024 - Port PLFA to work with agda-2.7 and stdlib-2.1

Pull Request - State: closed - Opened by JacquesCarette 3 months ago - 14 comments

#1023 - `_⊎_` from Connectives.agda no longer compiles in 2.6.4

Issue - State: closed - Opened by JacquesCarette 3 months ago - 3 comments

#1022 - explain Subst and Rename in Confluence chapter

Pull Request - State: closed - Opened by jsiek 4 months ago - 1 comment

#1021 - explain neutral terms and add a simple exercise

Pull Request - State: open - Opened by nrnrnr 4 months ago - 1 comment

#1020 - motivate and explain parallel reduction, plus wordsmithing

Pull Request - State: open - Opened by nrnrnr 4 months ago - 1 comment

#1019 - The Confluence chapter uses `Subst` without definition, comment, or forward reference

Issue - State: open - Opened by nrnrnr 4 months ago

#1018 - Slow workflow for contributors

Issue - State: open - Opened by nrnrnr 4 months ago - 8 comments

#1017 - updated extra/Subtyping-phil.lagda.md

Pull Request - State: closed - Opened by wadler 4 months ago

#1016 - Something seems to be missing in chapter Naturals

Issue - State: open - Opened by cmsmcq 4 months ago

#1015 - Bump sass from 1.77.6 to 1.77.8

Pull Request - State: closed - Opened by dependabot[bot] 4 months ago
Labels: dependencies, javascript

#1014 - fix sub-abs in summary of the sigma algebra

Pull Request - State: closed - Opened by jsiek 4 months ago - 2 comments

#1013 - Bug in appendix Substitution

Issue - State: open - Opened by wadler 4 months ago - 1 comment

#1012 - Bump JamesIves/github-pages-deploy-action from 4.6.1 to 4.6.3

Pull Request - State: closed - Opened by dependabot[bot] 4 months ago
Labels: dependencies, github_actions