thufschmitt/tix-papers
1
1
Fork 0
mirror of https://github.com/thufschmitt/tix-papers.git synced 2024-07-14 16:10:23 +03:00
Code Issues Projects Releases Wiki Activity
105 Commits 8 Branches 0 Tags 1.2 MiB

Default Branch

master

8b54b5302e · Add (very tiny) readme with a link to the compiled version · Updated 2017-05-12 17:39:27 +03:00
 ZIP  TAR.GZ

Branches

report

4362020a2b · Final tweaks · Updated 2017-08-21 18:12:00 +03:00
105
205
 ZIP  TAR.GZ
lambda_calculus

67b67be7c4 · oracle: State and prove subject reduction · Updated 2017-05-23 08:36:19 +03:00
0
59
 ZIP  TAR.GZ
hydra

9f5af32aab · uuie · Updated 2017-05-12 17:18:33 +03:00
5
15
 ZIP  TAR.GZ
type-patterns

b4a4e6f2aa · Fix make clean · Updated 2017-05-11 09:32:05 +03:00
7
0
 Included
 ZIP  TAR.GZ
grammar

5d04ae05d1 · grammar: visual fix · Updated 2017-04-07 12:49:23 +03:00
52
2
 ZIP  TAR.GZ
records-typing

8ca99c4f03 · typing: explicit syntactic sugar for record types · Updated 2017-04-07 12:24:24 +03:00
49
0
 Included
 ZIP  TAR.GZ
type-grammar

99f594dd69 · typing: add a grammar for types · Updated 2017-04-06 17:51:06 +03:00
52
0
 Included
 ZIP  TAR.GZ