|
combined
|
fix chktex-reported errors
|
2017-05-11 08:21:06 +02:00 |
|
common
|
Add a paragraph about the bidirectional typing
|
2017-05-12 10:50:01 +02:00 |
|
grammar
|
Add typecase to the lambda calculus
|
2017-05-12 08:54:16 +02:00 |
|
semantics
|
Remove \x/ syntax for meta-variables
|
2017-05-11 18:21:19 +02:00 |
|
typing
|
Add a paragraph about the bidirectional typing
|
2017-05-12 10:50:01 +02:00 |
|
.chktexrc
|
chktex: mark \pref as a reference command
|
2017-05-12 10:47:58 +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
|
uuie
|
2017-05-12 16:18:33 +02:00 |
|
jobset.nix
|
uuie
|
2017-05-12 16:18:33 +02:00 |
|
Makefile
|
Don't auto show the result
|
2017-05-12 15:00:18 +02:00 |
|
mathpartir.sty
|
added style
|
2017-04-19 10:45:40 +02:00 |
