thufschmitt/tix-papers
1
1
Fork 0
mirror of https://github.com/thufschmitt/tix-papers.git synced 2024-08-16 16:20:47 +03:00
Code Issues Projects Releases Wiki Activity

str -> string

Browse Source
This commit is contained in:
regnat 2017-04-24 16:29:20 +02:00
parent 1b5d5748fe
commit 33e0bd61d0
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
grammar/types.tex
View File

@ -4,7 +4,7 @@
\alt \t/ $\bm{\vee}$ \t/ \| \t/ $\bm{\wedge}$ \t/ \| \t/ $\bm{\backslash}$ \t/
\alt [\meta{R}]
\alt \{ \s/ = \u/; $\cdots{}$; \s/ = \u/; _ = \u/ \}
\alt bool \| int \| str
\alt bool \| int \| string
<u> ::= \t/ \| ?\t/