LoreonLabsPlatform

Overview

Intelligence

Markets
Builders
Research
Narratives
Ecosystems
Launchpads

Discover

Search
Sources

Other

agda-stdlib

The Agda standard library

OtherEmerging

Stars

—

Forks

—

Contributors

8

Last push

18d ago

Recent commits

Latest commits.

[ new ] `Fin n` as a refinement (#2975)
51e06a7G. Allais2mo ago
[ refactor ] make `Relation.Binary.Morphism.Definitions` obsolete (#2922)
b52ddcajamesmckinna2mo ago
[ add ] `Algebra.Construct.Centre.X` of an algebra `X`, following #2863 (#2885)
b5344ccjamesmckinna2mo ago
[ refactor ] Make `Data.Irrelevant.Irrelevant` a proper `Monad` (#2977)
a5d4a19jamesmckinna2mo ago
[ fix ] `CHANGELOG` ahead of v2.4 (#2974)
0af0768jamesmckinna2mo ago

[ fix ] typo in deprecation warning (#2979)

928d3eejamesmckinna2mo ago

[ add ] injectivity of `suc` for relation `m ≡ n (mod o)` for `{{NonZero o}}` (#2971)

df6fcacjamesmckinna2mo ago

Revert "[ refactor ] fix #2865 for v2.4 (#2954)" (#2973)

70f3f0fMatthew Daggitt2mo ago

Top contributors

Builders behind this project.