├── .gitignore ├── .travis.yml ├── LICENSE ├── Makefile ├── README.md ├── agda └── Syntax.agda ├── notes └── aim25.txt └── src ├── Makefile ├── acmart.cls ├── core-agda.tex └── macros.tex /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda-attic/agda-spec/HEAD/.gitignore -------------------------------------------------------------------------------- /.travis.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda-attic/agda-spec/HEAD/.travis.yml -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda-attic/agda-spec/HEAD/LICENSE -------------------------------------------------------------------------------- /Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda-attic/agda-spec/HEAD/Makefile -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda-attic/agda-spec/HEAD/README.md -------------------------------------------------------------------------------- /agda/Syntax.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda-attic/agda-spec/HEAD/agda/Syntax.agda -------------------------------------------------------------------------------- /notes/aim25.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda-attic/agda-spec/HEAD/notes/aim25.txt -------------------------------------------------------------------------------- /src/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda-attic/agda-spec/HEAD/src/Makefile -------------------------------------------------------------------------------- /src/acmart.cls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda-attic/agda-spec/HEAD/src/acmart.cls -------------------------------------------------------------------------------- /src/core-agda.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda-attic/agda-spec/HEAD/src/core-agda.tex -------------------------------------------------------------------------------- /src/macros.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda-attic/agda-spec/HEAD/src/macros.tex --------------------------------------------------------------------------------