diff options
| author | Aleksander Sadikov <aleksander.sadikov@fri.uni-lj.si> | 2016-05-29 19:04:26 +0200 |
|---|---|---|
| committer | Aleksander Sadikov <aleksander.sadikov@fri.uni-lj.si> | 2016-05-29 19:04:26 +0200 |
| commit | 7bc5d05a777045dbd5c9feace7c52c074b146794 (patch) | |
| tree | 8cdddfe9e34b101b44a8966e18e2634ec18e0281 /.gitignore | |
| parent | 8204263c09d77c2b4a8648aa9cad1bba97a9a5f5 (diff) | |
Denotational semantics, part #2 (mini algol): tests and translations added.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions