Skip to content

/ agda-stdlib

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

146 Open 434 Closed
146 Open 434 Closed
Author
Filter by author
Label
Filter by label
Use alt + click/return to exclude labels.
Projects
Filter by project
Milestones
Filter by milestone
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀
three way comparison of natural number? discussion library-design
#1289 opened Sep 4, 2020 by HuStmpHrrr
2
Strict inequality on Float is unintuitive breaking bug discussion
#1284 opened Aug 25, 2020 by wenkokke
2
Primitives for "less than" are reexported as "less than or equal to" bug
#1283 opened Aug 25, 2020 by wenkokke
1
Constructive choice enhancement
#1282 opened Aug 25, 2020 by JacquesCarette
2
Improve `Algebra.Solver` documentation documentation
#1280 opened Aug 18, 2020 by mechvel
4
Release v1.4 release
#1274 opened Aug 10, 2020 by MatthewDaggitt v1.4
2
Naming of unfolding lemmas discussion naming
#1252 opened Jul 6, 2020 by gallais
A name for ``P x → P (f x)`` enhancement question
#1245 opened Jul 2, 2020 by mechvel
3
Upgrading build version? admin travis
#1237 opened Jun 11, 2020 by JacquesCarette
@JacquesCarette
3
treating `≉` in lib-1.3 bug low-hanging-fruit
#1230 opened Jun 6, 2020 by mechvel
Make some `Dec` operations more easily accessible? discussion refactoring
#1229 opened Jun 6, 2020 by masaeedu
5
Add `_≮_` and `_≰_` to bundles in the binary relation hierarchy. enhancement low-hanging-fruit
#1214 opened May 23, 2020 by mechvel
1
Remove all v0.15 deprecation warnings? admin deprecation question
#1209 opened May 18, 2020 by JacquesCarette
8
Idiom brackets, ⊛, and <*> naming upstream
#1195 opened May 7, 2020 by Saityi
4
Weaken preconditions of `map` lemmas for `Grouped` predicate bug low-hanging-fruit
#1189 opened May 3, 2020 by MatthewDaggitt
Setoid on `Σ Carrier P` via `proj₁` ? enhancement question
#1186 opened May 2, 2020 by mechvel
5
Add library for bounded decidability enhancement task
#1181 opened Apr 29, 2020 by gallais
Add structures/bundles for pairs of strict and non-strict orders discussion library-design
#1179 opened Apr 29, 2020 by MatthewDaggitt
1
rename Algebra.Properties ? breaking discussion library-design
#1176 opened Apr 28, 2020 by mechvel
generic Nonzero proposal enhancement
#1175 opened Apr 28, 2020 by mechvel
5
Switch over to using new numeric predicates breaking library-design refactoring
#1170 opened Apr 26, 2020 by MatthewDaggitt v2.0
Style proposal for independent import for a parametric module discussion library-design
#1169 opened Apr 26, 2020 by mechvel
1
Should we name all the pattern-matching lambdas? discussion library-design
#1166 opened Apr 21, 2020 by gallais
6
Missing lemmas for `_/_` enhancement
#1165 opened Apr 20, 2020 by gallais
1
`pred n ≤ n` and others low-hanging-fruit task
#1157 opened Apr 9, 2020 by mechvel
2
ProTip! Type g p on any issue or pull request to go back to the pull request listing page.
You can’t perform that action at this time.