├── .gitignore ├── README.md ├── agda ├── Examples.agda ├── Lib.agda ├── Ordered.agda ├── STC.agda └── SubstitutionRewrites.agda ├── monoidal └── sketch.tex ├── paper ├── abstract.txt ├── cats.bib ├── cc-by.pdf ├── gat.tex ├── lipics-logo-bw.pdf ├── lipics-v2021.cls ├── llncs.cls ├── paper.bbl ├── paper.tex ├── reviews │ ├── fossacs23-response.txt │ ├── fossacs23.txt │ └── response.txt ├── rewrite-plan.org ├── scratch.tex ├── sequel.org └── splncs04.bst ├── scratch ├── impl │ ├── .dir-locals.el │ ├── .gitignore │ ├── ChangeLog.md │ ├── LICENSE │ ├── README.md │ ├── Setup.hs │ ├── app │ │ └── Main.hs │ ├── package.yaml │ ├── src │ │ ├── Parse.hs │ │ ├── Semantics.hs │ │ ├── Syntax.hs │ │ ├── TypeCheck.hs │ │ ├── Util.hs │ │ └── notes.org │ ├── stack.yaml │ └── test │ │ └── Test.hs ├── scratch.hs ├── scratch.v ├── sketch.org └── upgm.tex ├── talk └── partout │ └── abstract.org └── vequip-syntax ├── module-system-ideas.org ├── notes.md └── syntax.tex /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maxsnew/virtual-equipments/HEAD/.gitignore -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maxsnew/virtual-equipments/HEAD/README.md -------------------------------------------------------------------------------- /agda/Examples.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maxsnew/virtual-equipments/HEAD/agda/Examples.agda -------------------------------------------------------------------------------- /agda/Lib.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maxsnew/virtual-equipments/HEAD/agda/Lib.agda -------------------------------------------------------------------------------- /agda/Ordered.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maxsnew/virtual-equipments/HEAD/agda/Ordered.agda -------------------------------------------------------------------------------- /agda/STC.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maxsnew/virtual-equipments/HEAD/agda/STC.agda -------------------------------------------------------------------------------- /agda/SubstitutionRewrites.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maxsnew/virtual-equipments/HEAD/agda/SubstitutionRewrites.agda -------------------------------------------------------------------------------- /monoidal/sketch.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maxsnew/virtual-equipments/HEAD/monoidal/sketch.tex -------------------------------------------------------------------------------- /paper/abstract.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maxsnew/virtual-equipments/HEAD/paper/abstract.txt -------------------------------------------------------------------------------- /paper/cats.bib: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maxsnew/virtual-equipments/HEAD/paper/cats.bib -------------------------------------------------------------------------------- /paper/cc-by.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maxsnew/virtual-equipments/HEAD/paper/cc-by.pdf -------------------------------------------------------------------------------- /paper/gat.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maxsnew/virtual-equipments/HEAD/paper/gat.tex -------------------------------------------------------------------------------- /paper/lipics-logo-bw.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maxsnew/virtual-equipments/HEAD/paper/lipics-logo-bw.pdf -------------------------------------------------------------------------------- /paper/lipics-v2021.cls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maxsnew/virtual-equipments/HEAD/paper/lipics-v2021.cls -------------------------------------------------------------------------------- /paper/llncs.cls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maxsnew/virtual-equipments/HEAD/paper/llncs.cls -------------------------------------------------------------------------------- /paper/paper.bbl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maxsnew/virtual-equipments/HEAD/paper/paper.bbl -------------------------------------------------------------------------------- /paper/paper.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maxsnew/virtual-equipments/HEAD/paper/paper.tex -------------------------------------------------------------------------------- /paper/reviews/fossacs23-response.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maxsnew/virtual-equipments/HEAD/paper/reviews/fossacs23-response.txt -------------------------------------------------------------------------------- /paper/reviews/fossacs23.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maxsnew/virtual-equipments/HEAD/paper/reviews/fossacs23.txt -------------------------------------------------------------------------------- /paper/reviews/response.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maxsnew/virtual-equipments/HEAD/paper/reviews/response.txt -------------------------------------------------------------------------------- /paper/rewrite-plan.org: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maxsnew/virtual-equipments/HEAD/paper/rewrite-plan.org -------------------------------------------------------------------------------- /paper/scratch.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maxsnew/virtual-equipments/HEAD/paper/scratch.tex -------------------------------------------------------------------------------- /paper/sequel.org: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maxsnew/virtual-equipments/HEAD/paper/sequel.org -------------------------------------------------------------------------------- /paper/splncs04.bst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maxsnew/virtual-equipments/HEAD/paper/splncs04.bst -------------------------------------------------------------------------------- /scratch/impl/.dir-locals.el: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maxsnew/virtual-equipments/HEAD/scratch/impl/.dir-locals.el -------------------------------------------------------------------------------- /scratch/impl/.gitignore: -------------------------------------------------------------------------------- 1 | .stack-work/ 2 | impl.cabal 3 | *~ -------------------------------------------------------------------------------- /scratch/impl/ChangeLog.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maxsnew/virtual-equipments/HEAD/scratch/impl/ChangeLog.md -------------------------------------------------------------------------------- /scratch/impl/LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maxsnew/virtual-equipments/HEAD/scratch/impl/LICENSE -------------------------------------------------------------------------------- /scratch/impl/README.md: -------------------------------------------------------------------------------- 1 | # impl 2 | -------------------------------------------------------------------------------- /scratch/impl/Setup.hs: -------------------------------------------------------------------------------- 1 | import Distribution.Simple 2 | main = defaultMain 3 | -------------------------------------------------------------------------------- /scratch/impl/app/Main.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maxsnew/virtual-equipments/HEAD/scratch/impl/app/Main.hs -------------------------------------------------------------------------------- /scratch/impl/package.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maxsnew/virtual-equipments/HEAD/scratch/impl/package.yaml -------------------------------------------------------------------------------- /scratch/impl/src/Parse.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maxsnew/virtual-equipments/HEAD/scratch/impl/src/Parse.hs -------------------------------------------------------------------------------- /scratch/impl/src/Semantics.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maxsnew/virtual-equipments/HEAD/scratch/impl/src/Semantics.hs -------------------------------------------------------------------------------- /scratch/impl/src/Syntax.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maxsnew/virtual-equipments/HEAD/scratch/impl/src/Syntax.hs -------------------------------------------------------------------------------- /scratch/impl/src/TypeCheck.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maxsnew/virtual-equipments/HEAD/scratch/impl/src/TypeCheck.hs -------------------------------------------------------------------------------- /scratch/impl/src/Util.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maxsnew/virtual-equipments/HEAD/scratch/impl/src/Util.hs -------------------------------------------------------------------------------- /scratch/impl/src/notes.org: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maxsnew/virtual-equipments/HEAD/scratch/impl/src/notes.org -------------------------------------------------------------------------------- /scratch/impl/stack.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maxsnew/virtual-equipments/HEAD/scratch/impl/stack.yaml -------------------------------------------------------------------------------- /scratch/impl/test/Test.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maxsnew/virtual-equipments/HEAD/scratch/impl/test/Test.hs -------------------------------------------------------------------------------- /scratch/scratch.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maxsnew/virtual-equipments/HEAD/scratch/scratch.hs -------------------------------------------------------------------------------- /scratch/scratch.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maxsnew/virtual-equipments/HEAD/scratch/scratch.v -------------------------------------------------------------------------------- /scratch/sketch.org: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maxsnew/virtual-equipments/HEAD/scratch/sketch.org -------------------------------------------------------------------------------- /scratch/upgm.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maxsnew/virtual-equipments/HEAD/scratch/upgm.tex -------------------------------------------------------------------------------- /talk/partout/abstract.org: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maxsnew/virtual-equipments/HEAD/talk/partout/abstract.org -------------------------------------------------------------------------------- /vequip-syntax/module-system-ideas.org: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maxsnew/virtual-equipments/HEAD/vequip-syntax/module-system-ideas.org -------------------------------------------------------------------------------- /vequip-syntax/notes.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maxsnew/virtual-equipments/HEAD/vequip-syntax/notes.md -------------------------------------------------------------------------------- /vequip-syntax/syntax.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maxsnew/virtual-equipments/HEAD/vequip-syntax/syntax.tex --------------------------------------------------------------------------------