Skip to content
GitLab
Menu
Projects
Groups
Snippets
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Sign in
Toggle navigation
Menu
Open sidebar
sarah.grebing
ProofScriptParser
cef9b7844022d3d9d827a843a9d16789fd160840
cef9b7844022d3d9d827a843a9d16789fd160840
Switch branch/tag
ProofScriptParser
..
scripts
fullcases.txt
Find file
Normal view
History
Permalink
fullcases.txt
141 Bytes
Newer
Older
some bug fixes and relaxation in the grammar
Alexander Weigl
committed
Apr 28, 2017
1
2
3
4
5
6
7
8
9
10
11
script fc() {
cases {
case x = y {
print a;
}
default {
print `blubb`;
}
}
}