generic-lr

AACMM's generic-syntax, but with QTT-style annotations

Name	Name	Last commit message	Last commit date
Latest commit laMudri [ new ] monotonicity test case for WRel Oct 5, 2021 3ee8ce2 · Oct 5, 2021 History 171 Commits
src	src	[ new ] monotonicity test case for WRel	Oct 5, 2021
tex	tex	[ pdf ] add actual Huawei talk slides	Feb 13, 2021
.gitignore	.gitignore	[ writing ] get literate Agda going	Dec 1, 2020
LICENSE	LICENSE	Initial commit	Feb 12, 2020
Makefile	Makefile	[ build ] add some global build support	Feb 13, 2021
README.md	README.md	[ add ] basic README	Feb 12, 2020
default.nix	default.nix	[ build ] add some global build support	Feb 13, 2021
generic-lr.agda-lib	generic-lr.agda-lib	[ cleanup ] remove session-types dependency	Jul 24, 2020
pkg.nix	pkg.nix	[ build ] add some global build support	Feb 13, 2021
shell.nix	shell.nix	[ build ] add some global build support	Feb 13, 2021

Provide feedback