combined
|
Add bibliography
|
2017-04-26 17:07:43 +02:00 |
common
|
typing: introduce typing judgements for patterns
|
2017-05-11 07:35:39 +02:00 |
grammar
|
grammar: add typing annotations to patterns
|
2017-05-11 07:30:24 +02:00 |
semantics
|
grammar: add typing annotations to patterns
|
2017-05-11 07:30:24 +02:00 |
typing
|
Remove definiton of the obsolete matchType symbol
|
2017-05-11 07:37:27 +02:00 |
.chktexrc
|
Add chktex config and makefile rule
|
2017-05-11 08:21:06 +02:00 |
.gitignore
|
Add .gitignore
|
2017-03-28 15:17:37 +02:00 |
.latexmkrc
|
.latexmkrc: quote the evince name
|
2017-04-11 11:17:45 +02:00 |
default.nix
|
typing: split typing rules
|
2017-04-07 11:14:14 +02:00 |
Makefile
|
Add chktex config and makefile rule
|
2017-05-11 08:21:06 +02:00 |
mathpartir.sty
|
added style
|
2017-04-19 10:45:40 +02:00 |