thufschmitt/tix-papers
1
1
Fork 0
mirror of https://github.com/thufschmitt/tix-papers.git synced 2024-10-26 13:27:39 +03:00
Code Issues Projects Releases Wiki Activity

type-system: Change display of the B operator

Browse Source 
(The operator which assigns to each constant its type)
This commit is contained in:
regnat 2017-04-06 14:05:21 +02:00
parent b67dfbbf9e
commit 54fd631f81
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
typing/type-system.tex
View File

@ -50,7 +50,7 @@
\inferrule{ }{\Gamma; x:\tau \vdash x:\tau}(Var)
\and
\inferrule{ }{\Gamma \vdash c:{B}(c)}(Const) %TODO: change B's font
\inferrule{ }{\Gamma \vdash c:\mathcal{B}(c)}(Const)
\and
\inferrule{%