lin-env

Experiments in linear natural deduction

Name		Name	Last commit message	Last commit date
Latest commit History 14 Commits
src		src
.envrc		.envrc
.gitignore		.gitignore
LICENSE		LICENSE
README.md		README.md
default.nix		default.nix
lin-env.agda-lib		lin-env.agda-lib
pkg.nix		pkg.nix
shell.nix		shell.nix

Provide feedback