Skip to content
GitLab
Menu
Projects
Groups
Snippets
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in / Register
Toggle navigation
Menu
Open sidebar
Iris
Tutorial POPL18
Commits
5bc2d52c
Commit
5bc2d52c
authored
Aug 27, 2020
by
Ralf Jung
Browse files
expand README
parent
f9f61719
Changes
1
Show whitespace changes
Inline
Side-by-side
README.md
View file @
5bc2d52c
...
...
@@ -66,3 +66,27 @@ are generated from the corresponding files in `solutions/`. Run `make exercises`
to re-generate those files. This requires
`gawk`
to be installed (which should
usually be available on Linux but might have to be installed separately on
macOS).
The syntax for the solution files is as follows:
```
(* BEGIN SOLUTION *)
solution here.
(* END SOLUTION *)
```
is replaced by
```
(* exercise *)
Admitted.
```
and the more powerful
```
(* BEGIN SOLUTION *)
solution here.
(* END SOLUTION BEGIN TEMPLATE
exercise template here.
END TEMPLATE *)
```
is replaced by
```
exercise template here.
```
Write
Preview
Supports
Markdown
0%
Try again
or
attach a new file
.
Attach a file
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment