diff options
| author | Maxime Dénès | 2015-09-20 01:23:26 +0200 |
|---|---|---|
| committer | Maxime Dénès | 2015-09-20 01:23:26 +0200 |
| commit | 0c766b2e3b54d96713a79e40661653c5486822a8 (patch) | |
| tree | 2b1453b97049e2e29e98eb9799d64adc95045b8c /doc/tutorial/Tutorial.tex | |
| parent | 40479227cba680496bf358e196e57a9a64f9c65b (diff) | |
Print Assumptions shows engagement.
Seems to be morally required since we have the -type-in-type flag.
Diffstat (limited to 'doc/tutorial/Tutorial.tex')
0 files changed, 0 insertions, 0 deletions