A

agda-stdlib

Settings | Report Duplicate

0

I Use This!

Moderate Activity

Commits : Listings

Analyzed about 5 hours ago. based on code collected about 20 hours ago.

Commit Message	Contributor	Files Modified	Lines Added	Lines Removed	Code Location	Date
Oct 24, 2025 — Oct 24, 2026 Showing page 1 of 129 Search / Filter on:
Remove fixity declarations for closed operators (#3115)	Andreas Abel	More...				about 1 month ago
Add unique? to Data.Vec.Relation.Unary.Unique.Setoid (#3116)	Nathan van Doorn	More...				about 2 months ago
Add ≤₋-refl to Relation.Binary.Construct.Add.Infimum.NonStrict (#3118)	Nathan van Doorn	More...				about 2 months ago
add: more text about negation and deduction from it (#3100)	jamesmckinna	More...				about 2 months ago
[ add ] more properties of `Data.List.Relation.Unary.All.Null` (#3091)	jamesmckinna	More...				3 months ago
Add condition to `test-stdlib` and `test-stdlib-golden` to not run on push in `ci-ubuntu` (#3097)	Silas Hayes-Williams	More...				3 months ago
[ fix ] universe levels in `Data.Product.Relation.Binary.Pointwise.Dependent.POINTWISE` (#3092)	jamesmckinna	More...				3 months ago
[ refactor ] add `Data.Sum.Relation.Binary.Pointwise .elim` (#3079)	jamesmckinna	More...				3 months ago
Fix gh pages CI (#3075)	Silas Hayes-Williams	More...				3 months ago
Adds the AVL tree's toList/Any properties (#3060)	Michael DeLorimier	More...				3 months ago
Update GHC versions used by `haskell-ci` and fix patch file (#3056)	Silas Hayes-Williams	More...				3 months ago
Split `ci-ubuntu` workflow into multiple jobs and add caching (#3049)	Silas Hayes-Williams	More...				3 months ago
[ refactor ] remove custom syntax for `prep` and `swap` steps in `PermutationReasoning` (#3071)	jamesmckinna	More...				3 months ago
[ add ] missing `Function.Bundles` (#3069)	jamesmckinna	More...				3 months ago
[ refactor ] add `Relation.Unary.Unique` (#3067)	jamesmckinna	More...				3 months ago
Add tool to scan for references of deleted or renamed READMEs (#3041)	Silas Hayes-Williams	More...				3 months ago
[ refactor ] Symmetry of `Bijection` as a consequence of properties of a given `Surjective` function (#2583)	jamesmckinna	More...				3 months ago
[ style-guide ] no single-letter internal `module` names for export (#3064)	jamesmckinna	More...				4 months ago
[ refactor ] Redefine `Relation.Binary.Definitions.Adjoint`, plus knock-on `Function.Consequences` (#2599)	jamesmckinna	More...				4 months ago
[ testing ] express `tests.text.pretty.Main.pretty` as a `Data.Tree.Rose.foldr` (#3066)	jamesmckinna	More...				4 months ago
[ fix ] cosmetic aspects of `CHANGELOG` (#3062)	jamesmckinna	More...				4 months ago
[ add ] one line to `HACKING` re: `GenerateEverything` (#3063)	jamesmckinna	More...				4 months ago
Add relation between ℕ NonZero and + (#3040)	Nathan van Doorn	More...				4 months ago
[ refactor ] Revise definitions, consequences, and use, of `Algebra.Definitions.(Almost)*Cancellative` (#2573)	jamesmckinna	More...				4 months ago
[ new ] un-deprecate _≈?_ (#3048)	G. Allais	More...				4 months ago
[ new ] Levenshtein distance (#3015)	G. Allais	More...				4 months ago
[ new ] viaList & property (#3050)	G. Allais	More...				4 months ago
Added properties about DiffList in Data.DifferenceList.Properties (#3043)	Michael DeLorimier	More...				4 months ago
[ refactor ] Exchange components of `Relation.Binary.Definitions._Respects₂_` (#2515)	jamesmckinna	More...				4 months ago
Remove stale (1.x) deprecation warnings and their associated names (#3034)	Silas Hayes-Williams	More...				4 months ago

←
1
2
3
4
5
6
7
8
9
…
128
129
→