8000 Pull requests · agda/agda · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

Pull requests: agda/agda

New pull request New
54 Open 2,217 Closed
54 Open 2,217 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
Reviews
Filter by reviews
No reviews Review required Approved review Changes requested
Assignee
Filter by who’s assigned
Assigned to nobody Loading
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

Modalities in aliases and let-bindings erasure irrelevance Issues to do with irrelevance annotations let Issues relating to let expressions
#7990 opened Jul 10, 2025 by andreasabel • Draft 2.9.0
2
10
Simplifications to blocked metas and postponed typechecking problems meta Metavariables, insertion of implicit arguments, etc refactor Changes to the code base which do not affect users (not in changelog)
#7899 opened May 27, 2025 by jespercockx • Draft 2.9.0
12
wip: fix ambiguous projection elaboration overloading Overloaded projections; Projection disambiguation projections Issues relating to the treatment of projections
#7897 opened May 26, 2025 by plt-amy • Draft
3
record where, again, again (again?) record where The `record where` expression
#7877 opened May 12, 2025 by plt-amy • Draft 2.9.0
1
2
Implement a --cubical-without-glue option cubical Cubical Agda paraphernalia: Paths, Glue, partial elements, hcomp, transp pr: squash-me This PR needs squashing
#7861 opened May 5, 2025 by SwampertX Loading… 2.9.0
14
WIP: so far failing attempt at #7656 help wanted
#7844 opened May 1, 2025 by andreasabel • Draft
1
[opt] Lazy 'dontUnfold' in unfoldDefinition reduction status: do-not-merge So please don't merge
#7821 opened Apr 28, 2025 by andreasabel • Draft
Prefer name hints from constructor definitions type: discussion Discussions about Agda's design and implementation ux: case splitting Issues relating to the case split ("C-c C-c") command ux: interaction Issues to do with interactive development (holes, case splitting, etc) ux: printing Issues relating to how terms are printed for display
#7754 opened Mar 21, 2025 by lawcho • Draft
8
Issue #7714: New cabal flag -f Werror to control -Werror build Concerning building of Agda release Concerning the release process and releases (not in changelog)
#7718 opened Feb 20, 2025 by andreasabel • Draft 2.9.0
1
@andreasabel
6
WIP: make agda-tests into its own package
#7717 opened Feb 20, 2025 by andreasabel • Draft
Implement checkInternal for definitions aim Issue/PR stemming from AIM (Agda Implementor's Meeting) checkInternal Bugs with, or caught by, the internal double-checker status: work-in-progress Do not merge ATM type: enhancement Issues and pull requests about possible improvements type-checking
#7628 opened Nov 29, 2024 by liesnikov • Draft
3 tasks
@liesnikov
Passing string with error in catchTC
#7623 opened Nov 26, 2024 by marcinjangrzybowski • Draft
1
source to module
#7611 opened Nov 17, 2024 by andreasabel • Draft
Erase fewer arguments in strict backends compiler-treeless erasure status: do-not-merge So please don't merge
#7597 opened Oct 29, 2024 by lawcho • Draft
1
Running Agda on WASM
#7561 opened Oct 14, 2024 by SquidDev Loading…
15
Dispose of special handling of SafeFlagPragma safe Subset of Agda features which is expected to be consistent ux: options Issues relating to Agda's command line options ux: warnings Issues relating to the reporting of warnings
#7493 opened Sep 13, 2024 by andreasabel • Draft 2.9.0
Require ETA pragma instead of eta-equality directive in unguarded records eta η-expansion of metavariables and unification modulo η language change Changes to the language which can be observed by Agda's userbase records Record declarations, literals, constructors and updates unguarded record types
#7470 opened Sep 4, 2024 by andreasabel • Draft 2.9.0
1
@andreasabel
10
Do not reduce term of instance candidate
#7450 opened Aug 23, 2024 by jespercockx Loading…
1
PR #5267 redux: Make more options infective type: discussion Discussions about Agda's design and implementation ux: options Issues relating to Agda's command line options
#7408 opened Aug 1, 2024 by andreasabel • Draft later
2
[ fix #6697 ] Require REWRITE relation to be a postulate or data/record type
#7357 opened Jul 9, 2024 by jespercockx Loading… 2.9.0
1
3
Reflecting partial elements defined by extended lambdas
#7257 opened May 14, 2024 by marcinjangrzybowski • Draft
Add a switcher to literate modes to emacs mode
#7255 opened May 14, 2024 by WhatisRT Loading…
2
[ GitHub ] Add release.yml to format automatically generated release notes closed-issues-for-milestone Issues related to the closed-issues-for-milestone program (not in changelog) infra: github workflows Issues related to GitHub workflows and actions (not in changelog)
#7254 opened May 14, 2024 by L-TChen Loading…
@L-TChen
3
Draft: Add let expressions to internal syntax
#7253 opened May 13, 2024 by jespercockx • Draft
Re #6097: checkApplication: retry check target analysis less eagerly. performance Slow type checking, interaction, compilation or execution of Agda programs type-checking
#7171 opened Mar 6, 2024 by andreasabel • Draft
1
1
ProTip! Filter pull requests by the default branch with base:master.
0