GitHub - ericfinster/higher-alg: An approach to higher algebra in type theory · GitHub

Repository navigation

higher-alg

Public

About

An approach to higher algebra in type theory

23 stars

6 watching

Report repository

Name		Name	Last commit message	Last commit date
old		old
wip		wip
.gitignore		.gitignore
Base.agda		Base.agda
Ctx.agda		Ctx.agda
FramedSet.agda		FramedSet.agda
TargetsOnly.agda		TargetsOnly.agda
Universe.agda		Universe.agda
UniverseExposed.agda		UniverseExposed.agda
UniverseFrm.agda		UniverseFrm.agda
UniverseOne.agda		UniverseOne.agda
UniverseRec.agda		UniverseRec.agda
UniverseTest.agda		UniverseTest.agda
UniverseThree.agda		UniverseThree.agda
UniverseTrans.agda		UniverseTrans.agda
UniverseTwo.agda		UniverseTwo.agda

About

An approach to higher algebra in type theory

23 stars

6 watching

Report repository

Releases

Packages

Contributors

Languages