summaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorAleksander Sadikov <aleksander.sadikov@fri.uni-lj.si>2016-05-29 19:04:26 +0200
committerAleksander Sadikov <aleksander.sadikov@fri.uni-lj.si>2016-05-29 19:04:26 +0200
commit7bc5d05a777045dbd5c9feace7c52c074b146794 (patch)
tree8cdddfe9e34b101b44a8966e18e2634ec18e0281 /.gitignore
parent8204263c09d77c2b4a8648aa9cad1bba97a9a5f5 (diff)
Denotational semantics, part #2 (mini algol): tests and translations added.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions