plfa.github.io
plfa.github.io copied to clipboard
plfa
An introduction to programming language theory in Agda
Bumps [sass](https://github.com/sass/dart-sass) from 1.54.0 to 1.54.4. Release notes Sourced from sass's releases. Dart Sass 1.54.4 To install Sass 1.54.4, download one of the packages below and add it to your...
![dependabot[bot] avatar](https://avatars.githubusercontent.com/in/29110?v=4 "dependabot[bot] avatar"){kind=avatar}
The current build script no longer builds the PDF. However, it should be easy to adapt the task that builds the EPUB into a task that generates one massive LaTeX...
A partial solution would be, for each library, to: - generate an `Everything.agda` in `_cache/` which imports all modules in a set of libraries; - run Agda once to highlight...
[PLW: If denotations were strengthened to be downward closed, we could rewrite the signature replacing (ℰ N) by d : Denotation (Γ , ★)] [JGS: I'll look into this.]
Should it be pointed out that the defined fixpoint in Untyped is well-known as the Y combinator, discovered by Haskell Curry? I learned about this the first time as the...
Suggested workflow: 1. Open an issue describing the proposed contribution; 2. Discuss proposal with existing contributors; 3. Create pull request for contribution; 4. Publish contribution with `draft` tag, which labels...
Add [branch protection](https://docs.github.com/en/repositories/configuring-branches-and-merges-in-your-repository/defining-the-mergeability-of-pull-requests/managing-a-branch-protection-rule) on dev to enforce a workflow using PRs.
The build and tests generate reports: - **Shake**: already generated, see: [Makefile#L35](https://github.com/plfa/plfa.github.io/blob/c0464e4e31679c59291ec6198008d8f9b28617e3/Makefile#L35) - **HTMLProofer**: see [HTMLProofer: Reporting](https://github.com/gjtorikian/html-proofer#reporting) - **html-validate** - **EPUBCheck**: see [EPUBCheck: Getting a report in a structured format](https://www.w3.org/publishing/epubcheck/docs/cli/#getting-a-report-in-a-structured-format)...
- [ ] Write rule which compiles TeX documents - [ ] Remove course PDFs from repository
- [ ] Add descriptions to all footnote links, as done in [5827bc3](https://github.com/plfa/plfa.github.io/commit/5827bc3f0f8172b80c0fb9ec012ffcf83ce3a658#diff-f7ccb94ec731d3f9c0776f6dd4489addf172c7d3f590a39acc2a5cfe575688fdR7) - [ ] Automatically add descriptions to links generated by Agda