pSub/tspl-agda
1
2
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity
Agda implementations of stuff from a lecture on type systems at TU Darmstadt.
23 commits 1 branch 0 tags 45 KiB
  • Agda 100%
Find a file
Exact
Pascal Wittmann 36a642b8a8 Some progress in preservation proof
2013-12-21 12:03:55 +01:00
languages Some progress in preservation proof 2013-12-21 12:03:55 +01:00
.gitignore Ignore *.agdai files. 2013-11-24 12:00:13 +01:00
helper.agda Use Data.Char for representing variables. 2013-11-28 17:31:56 +01:00
interlanguage.agda Renamed the constructor of numbers to ⌜_⌝. 2013-11-30 10:54:15 +01:00
language.agda Introduced notion of variabled exists in context 2013-12-20 23:45:40 +01:00
README.md first commit 2013-11-06 09:28:33 +01:00
theorems.agda Fixed progress and preservation theorems. 2013-11-30 10:51:19 +01:00

README.md