This repository has been archived by the owner on Jul 12, 2019. It is now read-only.

Name		Name	Last commit message	Last commit date
Latest commit History 38 Commits
.gitignore		.gitignore
Decidable.agda		Decidable.agda
Ensemble.agda		Ensemble.agda
Find.agda		Find.agda
LICENSE		LICENSE
List.agda		List.agda
README.md		README.md
Vec.agda		Vec.agda
test.agda		test.agda

Repository files navigation

ensemble-old

There was a much better way of doing this. See my tome repo.

About

Finite sets in Agda

GPL-3.0 license

Report repository

Releases

No releases published

Packages

No packages published

Languages

Agda 100.0%