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

9mo ago

Recent commits

Latest commits.

[ add ] `style-guide` recommendation preferring `contradiction` over `⊥-elim` (#2798)
54f5c38jamesmckinna11mo ago
[Add] padRight properties to Data.Vec.Properties (#2769)
08bc2b8e-mniang11mo ago
[ add ] eta law for ¬¬ monad (#2803)
3337e54jamesmckinna11mo ago
Backport changes from 2.3 release to 2.4 (#2799)
f767c72Matthew Daggitt11mo ago
[ fix ] release guide (#2800)
84f1ab2jamesmckinna11mo ago

[ refactor ] `Data.Fin.Properties` of decidable equality, plus knock-ons (#2740)

d4c0a97jamesmckinna11mo ago

refactor: weaken type of `contradiction-irr` (#2785)

35396e4jamesmckinna11mo ago

[ add ] commentary explaining the `IsXRing` design problem (issues #1617 and #2771) (#2781)

0fa3e60jamesmckinna11mo ago

Top contributors

Builders behind this project.