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

grammar: simplify access-path

Browse Source 
Only expressions, no litteral field names
This commit is contained in:
regnat 2017-04-24 15:12:04 +02:00
parent 06b84e27d7
commit 923e4e1995
1 changed files with 1 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
grammar/expressions.tex
View File

@ -17,9 +17,7 @@
% Maybe this can be typed as a function, but it is rather unlikely
\alt Cons(\e/, \e/)
<a> ::= \b/. $\cdots{}$ .\b/
<b> ::= \$\{\e/\} \| \meta{l}
<a> ::= \e/. $\cdots{}$ .\e/
<c> ::= \meta{s} \| \meta{i} \| $\cdots{}$
\alt nil