Repository navigation

UTT

Public

About

Categorical semantics in agda for Unary Type Theory

shiranaiyo.github.io/UTT/

GPL-3.0 license

1 star

2 watching

Report repository

Name		Name	Last commit message	Last commit date
.github/workflows		.github/workflows
src		src
web		web
.gitattributes		.gitattributes
.gitignore		.gitignore
LICENSE		LICENSE
README.md		README.md
package-lock.json		package-lock.json
package.json		package.json
shell.nix		shell.nix
unary-type-theory.agda-lib		unary-type-theory.agda-lib

Repository files navigation

Unary Type Theory (WIP)

Categorical semantics for Unary Type Theory in agda.

About

Categorical semantics in agda for Unary Type Theory

shiranaiyo.github.io/UTT/

GPL-3.0 license

1 star

2 watching

Report repository

Releases

Packages

Contributors

Languages