diff options
| author | Paweł Dybiec <pawel.to.malpa@gmail.com> | 2020-01-20 03:08:05 +0100 |
|---|---|---|
| committer | Paweł Dybiec <pawel.to.malpa@gmail.com> | 2020-01-20 03:08:05 +0100 |
| commit | 3810fcdcc4ad0d76193842271ce3392b3adba913 (patch) | |
| tree | 3a8186f30536a7a4a95a509f71063a89f1f82e5d /doc/lista9.pdf | |
| parent | Fix variants typing, add wellformedness for commands (diff) | |
Add function calls in commands, and type annotations in expressions
Diffstat (limited to 'doc/lista9.pdf')
0 files changed, 0 insertions, 0 deletions