├── .gitignore ├── README.md ├── dec19 ├── Eq.agda ├── Kipling.agda ├── Meta.agda ├── Red.agda ├── Thin.agda ├── Tm.agda ├── Tuple.agda └── Ty.agda ├── metaspud ├── ACM-Reference-Format.bbx ├── ACM-Reference-Format.bst ├── ACM-Reference-Format.cbx ├── ACM-Reference-Format.dbx ├── acmart.bib ├── acmart.cls ├── acmart.dtx ├── acmart.ins ├── acmart.pdf ├── metaspud.pdf ├── metaspud.tex └── pig.sty └── patatas ├── Atom.agda ├── Basics.agda ├── Eq.agda ├── Pat.agda ├── Rel.agda ├── Ru.agda ├── Thin.agda ├── Tm.agda └── TmBis.agda /.gitignore: -------------------------------------------------------------------------------- 1 | *.agdai 2 | MAlonzo/** 3 | -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pigworker/potato/HEAD/README.md -------------------------------------------------------------------------------- /dec19/Eq.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pigworker/potato/HEAD/dec19/Eq.agda -------------------------------------------------------------------------------- /dec19/Kipling.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pigworker/potato/HEAD/dec19/Kipling.agda -------------------------------------------------------------------------------- /dec19/Meta.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pigworker/potato/HEAD/dec19/Meta.agda -------------------------------------------------------------------------------- /dec19/Red.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pigworker/potato/HEAD/dec19/Red.agda -------------------------------------------------------------------------------- /dec19/Thin.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pigworker/potato/HEAD/dec19/Thin.agda -------------------------------------------------------------------------------- /dec19/Tm.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pigworker/potato/HEAD/dec19/Tm.agda -------------------------------------------------------------------------------- /dec19/Tuple.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pigworker/potato/HEAD/dec19/Tuple.agda -------------------------------------------------------------------------------- /dec19/Ty.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pigworker/potato/HEAD/dec19/Ty.agda -------------------------------------------------------------------------------- /metaspud/ACM-Reference-Format.bbx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pigworker/potato/HEAD/metaspud/ACM-Reference-Format.bbx -------------------------------------------------------------------------------- /metaspud/ACM-Reference-Format.bst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pigworker/potato/HEAD/metaspud/ACM-Reference-Format.bst -------------------------------------------------------------------------------- /metaspud/ACM-Reference-Format.cbx: -------------------------------------------------------------------------------- 1 | \ProvidesFile{ACM-Reference-Format.cbx}[2017-09-27 v0.1] 2 | 3 | \RequireCitationStyle{numeric} 4 | 5 | \endinput 6 | -------------------------------------------------------------------------------- /metaspud/ACM-Reference-Format.dbx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pigworker/potato/HEAD/metaspud/ACM-Reference-Format.dbx -------------------------------------------------------------------------------- /metaspud/acmart.bib: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pigworker/potato/HEAD/metaspud/acmart.bib -------------------------------------------------------------------------------- /metaspud/acmart.cls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pigworker/potato/HEAD/metaspud/acmart.cls -------------------------------------------------------------------------------- /metaspud/acmart.dtx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pigworker/potato/HEAD/metaspud/acmart.dtx -------------------------------------------------------------------------------- /metaspud/acmart.ins: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pigworker/potato/HEAD/metaspud/acmart.ins -------------------------------------------------------------------------------- /metaspud/acmart.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pigworker/potato/HEAD/metaspud/acmart.pdf -------------------------------------------------------------------------------- /metaspud/metaspud.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pigworker/potato/HEAD/metaspud/metaspud.pdf -------------------------------------------------------------------------------- /metaspud/metaspud.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pigworker/potato/HEAD/metaspud/metaspud.tex -------------------------------------------------------------------------------- /metaspud/pig.sty: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pigworker/potato/HEAD/metaspud/pig.sty -------------------------------------------------------------------------------- /patatas/Atom.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pigworker/potato/HEAD/patatas/Atom.agda -------------------------------------------------------------------------------- /patatas/Basics.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pigworker/potato/HEAD/patatas/Basics.agda -------------------------------------------------------------------------------- /patatas/Eq.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pigworker/potato/HEAD/patatas/Eq.agda -------------------------------------------------------------------------------- /patatas/Pat.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pigworker/potato/HEAD/patatas/Pat.agda -------------------------------------------------------------------------------- /patatas/Rel.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pigworker/potato/HEAD/patatas/Rel.agda -------------------------------------------------------------------------------- /patatas/Ru.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pigworker/potato/HEAD/patatas/Ru.agda -------------------------------------------------------------------------------- /patatas/Thin.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pigworker/potato/HEAD/patatas/Thin.agda -------------------------------------------------------------------------------- /patatas/Tm.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pigworker/potato/HEAD/patatas/Tm.agda -------------------------------------------------------------------------------- /patatas/TmBis.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pigworker/potato/HEAD/patatas/TmBis.agda --------------------------------------------------------------------------------