Skip to content

Issues: plfa/plfa.github.io

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Assignee
Filter by who’s assigned
Sort

Issues list

Slow workflow for contributors
#1018 opened Jul 23, 2024 by nrnrnr
Bug in appendix Substitution
#1013 opened Jul 12, 2024 by wadler
Repository is too large
#993 opened May 4, 2024 by wenkokke
First exercise too advanced?
#960 opened Feb 6, 2024 by Ninijura
Investigate a denotation type that is inherently downward closed agda Relates to the Agda code in the book. enhancement Suggests an improvement. text Relates to the text.
#704 opened Jun 22, 2022 by jsiek
Write instructions for development using branches and PRs documentation Relates to the documentation. enhancement Suggests an improvement.
#689 opened Jun 15, 2022 by wenkokke
Publish build and test reports accessibility Relates to accessibility. documentation Relates to the documentation. enhancement Suggests an improvement.
#685 opened Jun 15, 2022 by wenkokke
Compile course PDFs as part of build enhancement Suggests an improvement. help wanted low-hanging-fruit Issues which have a clear solution.
#684 opened Jun 15, 2022 by wenkokke
2 tasks
Add descriptions to anchor links accessibility Relates to accessibility. help wanted low-hanging-fruit Issues which have a clear solution.
#683 opened Jun 15, 2022 by wenkokke
2 tasks
Resolve inconsistent use of headers accessibility Relates to accessibility. bug Something is broken. markup Issues with the use of markup.
#680 opened Jun 9, 2022 by wenkokke
Integrate DAISY Ace into CI accessibility Relates to accessibility. build Relates to the build system. enhancement Suggests an improvement. epub Relates to the EPUB version.
#675 opened Jun 9, 2022 by wenkokke
3 tasks
Styling issues for Agda code in EPUB accessibility Relates to accessibility. epub Relates to the EPUB version. help wanted style Relates to the styling of the book.
#673 opened Jun 9, 2022 by wenkokke
Build PDF version build Relates to the build system. enhancement Suggests an improvement. help wanted pdf Issues with the PDF version.
#672 opened Jun 9, 2022 by wenkokke
Create test page for TeX math enhancement Suggests an improvement.
#669 opened Jun 9, 2022 by wenkokke
Document the build of the book in Contributing documentation Relates to the documentation. enhancement Suggests an improvement.
#665 opened Jun 7, 2022 by wenkokke
4 tasks
ProTip! Exclude everything labeled bug with -label:bug.