GitHub - spiveeworks/agda-experiments: Stuff I have proved in Agda. Mainly playing with things that could make a type theory more minimal.

spiveeworks / agda-experiments Public

Stuff I have proved in Agda. Mainly playing with things that could make a type theory more minimal.

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 104 Commits
Isomorphism		Isomorphism
Models		Models
OldStuff		OldStuff
.gitignore		.gitignore
Relation.agda		Relation.agda

About

Stuff I have proved in Agda. Mainly playing with things that could make a type theory more minimal.

No releases published

No packages published