Skip to content

Issues: agda/agda

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

Clear current search query, filters, and sorts
15 Open 358 Closed
15 Open 358 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

Better policy for managing pull requests not-in-changelog This issue should not be listed in the changelog. type: discussion Discussions about Agda's design and implementation
#6482 opened Jan 27, 2023 by jespercockx
7
The org logo looks bad on dark themes not-in-changelog This issue should not be listed in the changelog. PR welcome Welcome to submit a PR fixing this issue repository Concerning the Agda source code repository (not in changelog) type: enhancement Issues and pull requests about possible improvements type: task Concerning the development of Agda (not in changelog)
#6044 opened Aug 21, 2022 by ncfavier
5
Fix or disable broken test cases cabal Build problems specifically related to cabal-install infra: test suite Issues relating to the test suite (not in changelog) not-in-changelog This issue should not be listed in the changelog. type: bug Issues and pull requests about actual bugs
#5753 opened Jan 25, 2022 by nad later
6
agda-bisect does not work with cabal-install >= 3.4 agda-bisect Bug concerning the agda-bisect tool (not in changelog) not-in-changelog This issue should not be listed in the changelog.
#5269 opened Mar 9, 2021 by andreasabel later
1
5
Size of the Agda git repo (dev only) devx Developer Experience (IDE setup, linting, dev builds, etc.) (not in changelog) not-in-changelog This issue should not be listed in the changelog. type: task Concerning the development of Agda (not in changelog)
#5242 opened Feb 26, 2021 by andreasabel later
13
Travis [complete tests] broken also for GHC 8.2 not-in-changelog This issue should not be listed in the changelog. travis (not in changelog)
#5139 opened Jan 16, 2021 by andreasabel icebox
1
Bang patterns? not-in-changelog This issue should not be listed in the changelog. type: discussion Discussions about Agda's design and implementation
#4234 opened Nov 25, 2019 by nad icebox
4
Support cabal-install 3.0.0.0 in the Makefile cabal Build problems specifically related to cabal-install devx Developer Experience (IDE setup, linting, dev builds, etc.) (not in changelog) not-in-changelog This issue should not be listed in the changelog. type: enhancement Issues and pull requests about possible improvements
#4216 opened Nov 20, 2019 by asr later
62
New pattern guards do not support case splitting not-in-changelog This issue should not be listed in the changelog. pattern guards Concerning the `with p <- e` lhs syntax type: bug Issues and pull requests about actual bugs ux: case splitting Issues relating to the case split ("C-c C-c") command
#3995 opened Aug 15, 2019 by andreasabel icebox
2
The branch parametric does not build under ghc 8.6 build-failure Failures while compiling Agda itself with a specific configuration not-in-changelog This issue should not be listed in the changelog.
#3704 opened Apr 17, 2019 by andreasabel icebox
6
Think about making duplicate BUILTIN bindings a warning builtin Enhancements to the builtin modules and builtin definitions not-in-changelog This issue should not be listed in the changelog. ux: warnings Issues relating to the reporting of warnings
#3579 opened Feb 19, 2019 by guillaumebrunerie icebox
@fredrikNordvallForsberg
17
Unnecessary --type-in-type option on test case infra: test suite Issues relating to the test suite (not in changelog) not-in-changelog This issue should not be listed in the changelog. sized types Sized types, termination checking with sized types, size inference type: enhancement Issues and pull requests about possible improvements type-in-type
#3149 opened Jul 5, 2018 by asr icebox
3
LaTeX test suite: Failing test cases and Travis backend: latex LaTeX generation backend infra: test suite Issues relating to the test suite (not in changelog) not-in-changelog This issue should not be listed in the changelog. travis (not in changelog) type: enhancement Issues and pull requests about possible improvements
#2886 opened Jan 2, 2018 by asr icebox
@asr
3
Make the highlighting output in interaction testsuite more readable infra: test suite Issues relating to the test suite (not in changelog) not-in-changelog This issue should not be listed in the changelog. type: task Concerning the development of Agda (not in changelog) ux: highlighting Issues relating to syntax highlighting
#1793 opened Jan 22, 2016 by andreasabel icebox
1
Broken generation of haskell-style.pdf not-in-changelog This issue should not be listed in the changelog. type: bug Issues and pull requests about actual bugs
#1189 opened Aug 8, 2015 by GoogleCodeExporter icebox
2
ProTip! Follow long discussions with comments:>50.