├── .gitignore ├── TyDE-2019 └── Names.v ├── examples ├── Lambda.v ├── Makefile └── _CoqProject └── src ├── Context.v ├── Makefile ├── Morph.v ├── Relative.v ├── Var.v └── _CoqProject /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lpw25/shifted-names/HEAD/.gitignore -------------------------------------------------------------------------------- /TyDE-2019/Names.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lpw25/shifted-names/HEAD/TyDE-2019/Names.v -------------------------------------------------------------------------------- /examples/Lambda.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lpw25/shifted-names/HEAD/examples/Lambda.v -------------------------------------------------------------------------------- /examples/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lpw25/shifted-names/HEAD/examples/Makefile -------------------------------------------------------------------------------- /examples/_CoqProject: -------------------------------------------------------------------------------- 1 | -R ../src SNames 2 | -------------------------------------------------------------------------------- /src/Context.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lpw25/shifted-names/HEAD/src/Context.v -------------------------------------------------------------------------------- /src/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lpw25/shifted-names/HEAD/src/Makefile -------------------------------------------------------------------------------- /src/Morph.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lpw25/shifted-names/HEAD/src/Morph.v -------------------------------------------------------------------------------- /src/Relative.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lpw25/shifted-names/HEAD/src/Relative.v -------------------------------------------------------------------------------- /src/Var.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lpw25/shifted-names/HEAD/src/Var.v -------------------------------------------------------------------------------- /src/_CoqProject: -------------------------------------------------------------------------------- 1 | -R . SNames --------------------------------------------------------------------------------