An Investigation of Kripke-style Modal Type Theories

Agda code works for Agda version 2.6.2.2-442c76b.

Name		Name	Last commit message	Last commit date
Latest commit History 19 Commits
assets		assets
docs		docs
lib		lib
out		out
src		src
.agda-lib		.agda-lib
.gitignore		.gitignore
.gitmodules		.gitmodules
README.md		README.md
makefile		makefile

Provide feedback