├── Bal.agda ├── CodeTurd.agda ├── Expt1.agda ├── Expt2.agda ├── Expt3.agda ├── Makefile ├── Ornament.bib ├── Pivotal.lagda ├── README.md ├── Talk.agda ├── comedy.el └── sigplanconf.cls /Bal.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pigworker/Pivotal/HEAD/Bal.agda -------------------------------------------------------------------------------- /CodeTurd.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pigworker/Pivotal/HEAD/CodeTurd.agda -------------------------------------------------------------------------------- /Expt1.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pigworker/Pivotal/HEAD/Expt1.agda -------------------------------------------------------------------------------- /Expt2.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pigworker/Pivotal/HEAD/Expt2.agda -------------------------------------------------------------------------------- /Expt3.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pigworker/Pivotal/HEAD/Expt3.agda -------------------------------------------------------------------------------- /Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pigworker/Pivotal/HEAD/Makefile -------------------------------------------------------------------------------- /Ornament.bib: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pigworker/Pivotal/HEAD/Ornament.bib -------------------------------------------------------------------------------- /Pivotal.lagda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pigworker/Pivotal/HEAD/Pivotal.lagda -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pigworker/Pivotal/HEAD/README.md -------------------------------------------------------------------------------- /Talk.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pigworker/Pivotal/HEAD/Talk.agda -------------------------------------------------------------------------------- /comedy.el: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pigworker/Pivotal/HEAD/comedy.el -------------------------------------------------------------------------------- /sigplanconf.cls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pigworker/Pivotal/HEAD/sigplanconf.cls --------------------------------------------------------------------------------