Loreon
Labs
Platform
Docs
Home
Ecosystems
Agda
agda-stdlib
The Agda standard library
Agda
Emerging
GitHub
Website
Stars
—
Forks
—
Contributors
8
Last push
76mo ago
Recent commits
Latest commits.
[ refactor ] Move test CI stage into separate job
15ea944
Víctor López Juan
76mo ago
[ enhance ] Add stack file for scripts, and stack CI build
5d1e70f
Víctor López Juan
76mo ago
Typeclass instances for TC monad (#1106)
1a7a2dc
Jesper Cockx
76mo ago
Generalise binary trees and add zippers
9a592a9
Alex Rice
76mo ago
Added `using` to README.Case for clarity
e23ac02
=
76mo ago
Add `Instances` modules for exposing instances to instance search (#1096)
c7bca6b
Jesper Cockx
76mo ago
add symmetric reflexive closures for relations (#1129)
5dca8a2
Jason Hu
76mo ago
Proved that both [,] and map respect function equality in Data.Sum.Properties (#1111)
7734d41
Octavian Mircea Sebe
76mo ago
Top contributors
Builders behind this project.
nad
1.2K commits
MatthewDaggitt
472 commits
gallais
218 commits
asr
201 commits
UlfNorell
105 commits
andreasabel
81 commits
np
45 commits
JacquesCarette
14 commits
