sett

Setoid type theory implementation (new, WIP)

Name		Name	Last commit message	Last commit date
Latest commit History 181 Commits
exe		exe
oldnotes		oldnotes
src		src
test-data		test-data
test		test
.gitignore		.gitignore
CONTRIBUTION.md		CONTRIBUTION.md
LICENSE		LICENSE
Notes.md		Notes.md
README.md		README.md
default.nix		default.nix
package.yaml		package.yaml
sett.cabal		sett.cabal
stack.yaml		stack.yaml

Provide feedback