Agda 2

Project	Files	Type Sigs	Fun Clauses	Data Defs	Data Sigs	Record Defs	Record Sigs	Field Sigs	Modules	Mod Macros	Opens	Imports	Mutual	Abstract	Private	Instance	Macro	Postulate	Primitive	Infix	Syntax	Pat Syns	Generalize	Opaque	Pragmas
TypeTopology	956	18,558	22,335	114	5	80	4	362	2,248	1,610	383	9,694	0	32	1,964	42	0	10	3	222	103	46	3	4	860
agda-stdlib	1,187	15,978	19,032	349	11	582	4	1,812	2,945	2,087	471	10,581	66	1	2,661	43	14	35	15	1,260	83	115	539	0	2,738
agda-categories	518	7,390	5,729	11	0	428	0	2,039	1,749	2,907	1,024	5,790	1	67	2,556	0	1	0	0	1,089	157	0	402	2	782
HoTT-UF-Lecture-Notes	9	0	0	6	0	3	0	7	53	16	42	2	0	1	19	0	0	0	0	38	6	2	2	0	3
Universal-Algebra	13	531	662	17	0	51	0	125	76	33	155	358	4	0	42	0	0	4	0	4	0	50	0	0	0
agda-algebras	146	3,656	3,098	192	0	62	0	185	796	243	301	2,255	0	0	481	0	0	0	0	418	138	0	172	0	464
TOTAL	2,879	46,113	50,856	689	16	1,206	8	4,530	7,867	6,896	2,376	28,680	71	101	7,723	85	15	49	18	3,031	487	213	1,118	6	4,847

Note that this README is only about Agda, not its standard library. See the Agda Wiki for information about the library.

Documentation

Name		Name	Last commit message	Last commit date
Latest commit History 24,114 Commits
.github		.github
.vscode		.vscode
benchmark		benchmark
cubical @ fe3394e		cubical @ fe3394e
doc		doc
examples		examples
mk		mk
notes		notes
src		src
std-lib @ ddd5211		std-lib @ ddd5211
test		test
.editorconfig		.editorconfig
.gitignore		.gitignore
.gitmodules		.gitmodules
.hlint.yaml		.hlint.yaml
.mailmap		.mailmap
.readthedocs.yaml		.readthedocs.yaml
Agda.cabal		Agda.cabal
CHANGELOG.md		CHANGELOG.md
CITATION.cff		CITATION.cff
HACKING.md		HACKING.md
LICENSE		LICENSE
Makefile		Makefile
README.md		README.md
cabal.project		cabal.project
cabal.project.ghc-9.14.1		cabal.project.ghc-9.14.1
cabal.project.local.mtl23		cabal.project.local.mtl23
cabal.project.tc		cabal.project.tc
fix-whitespace.yaml		fix-whitespace.yaml
flake.lock		flake.lock
flake.nix		flake.nix
hie-stack.yaml		hie-stack.yaml
release.sh		release.sh
stack-9.10.3.yaml		stack-9.10.3.yaml
stack-9.12.4.yaml		stack-9.12.4.yaml
stack-9.14.1.yaml		stack-9.14.1.yaml
stack-9.2.8.yaml		stack-9.2.8.yaml
stack-9.4.2.yaml		stack-9.4.2.yaml
stack-9.4.8.yaml		stack-9.4.8.yaml
stack-9.6.7.yaml		stack-9.6.7.yaml
stack-9.8.4.yaml		stack-9.8.4.yaml
touchup.sh		touchup.sh