thufschmitt/tix-papers
1
1
Fork 0
mirror of https://github.com/thufschmitt/tix-papers.git synced 2024-09-11 13:00:34 +03:00
Code Issues Projects Releases Wiki Activity
type-grammar
tix-papers/typing
History
regnat 99f594dd69 typing: add a grammar for types
2017-04-06 16:51:06 +02:00
..
records.tex factorize header 2017-04-06 16:15:46 +02:00
type-system.tex typing: add a grammar for types 2017-04-06 16:51:06 +02:00