Loreon
Labs
Platform
Docs
Home
Ecosystems
Other
agda-stdlib
The Agda standard library
Other
Emerging
GitHub
Website
Stars
—
Forks
—
Contributors
8
Last push
52mo ago
Recent commits
Latest commits.
Modernise `Data.Vec(.Properties)` (#1673)
ff6c8f3
MatthewDaggitt
54mo ago
Add properties of binary relations over unary predicates (#1675)
b871cc1
Splinter Suidman
54mo ago
Improve definition of `Prime` and add Euclid's lemma (#1674)
bfeadd6
Nathan van Doorn
54mo ago
Add a difference operator for unary predicates (#1677)
4c5be86
Stefan Holdermans
54mo ago
fixed issue #602 for vectors, too (#1672)
8c5066b
jamesmckinna
54mo ago
Tidy up CHANGELOG
b3bb7b4
=
54mo ago
Port reverse lemmas to `Data.Vec` (fixes #942) (#1668)
3f69cbe
jamesmckinna
54mo ago
Add new exponentiation operator to `Data.Integer` (fixes #490) (#1660)
1cf5302
jamesmckinna
54mo ago
Top contributors
Builders behind this project.
nad
1.2K commits
MatthewDaggitt
577 commits
gallais
276 commits
asr
209 commits
UlfNorell
115 commits
andreasabel
93 commits
np
45 commits
JacquesCarette
26 commits
