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.

Sign up for GitHub

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

48 Open 209 Closed
48 Open 209 Closed
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
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

The Confluence chapter uses Subst without definition, comment, or forward reference
#1019 opened Jul 24, 2024 by nrnrnr
@jsiek
Slow workflow for contributors
#1018 opened Jul 23, 2024 by nrnrnr
8
Something seems to be missing in chapter Naturals
#1016 opened Jul 22, 2024 by cmsmcq
Bug in appendix Substitution
#1013 opened Jul 12, 2024 by wadler
@jsiek
1
Type suggested in exercise Bin-isomorphism does not compile.
#1003 opened Jun 3, 2024 by nrnrnr
2
Repository is too large
#993 opened May 4, 2024 by wenkokke
1
Exercise ⊎-dual-× (part1.Negation): add a note about imports
#992 opened May 4, 2024 by adql
3
a:visited in code blocks messes up highlighting
#989 opened May 2, 2024 by adql
1
7
First exercise too advanced?
#960 opened Feb 6, 2024 by Ninijura
1
3
agda-mode compile errors with emacs 29.1
#956 opened Jan 23, 2024 by csams
2
The definition of sigma could draw attention to the use of forall
#877 opened May 31, 2023 by michaelpj
3
The 'Bin' stretch exercise in 'Induction' requires re-defining code from previous exercise
#872 opened May 29, 2023 by michaelpj
3
Substitution.commute-subst-rename is weird
#858 opened Apr 19, 2023 by crisoagf
1
Unclear which nats.agda file is being referred to in "Getting Started"
#854 opened Mar 29, 2023 by bzm3r
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
@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
9
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
@wenkokke
1
ProTip! Exclude everything labeled bug with -label:bug.