diff options
author | Aleksander Sadikov <aleksander.sadikov@fri.uni-lj.si> | 2016-05-22 20:37:28 +0200 |
---|---|---|
committer | Aleksander Sadikov <aleksander.sadikov@fri.uni-lj.si> | 2016-05-22 20:37:28 +0200 |
commit | de7b441fe4ebd88fc19abbd6542cb8129f735ced (patch) | |
tree | 9c409cc281e5a095e468f20d9a33b1acad3ed5e7 /prolog/problems/algol/algol_for_3 | |
parent | 52a65d75cd7adc7983d4e6c45709b7571497ca9a (diff) |
Denotational semantics, part #1: tests and translations added.
Diffstat (limited to 'prolog/problems/algol/algol_for_3')
0 files changed, 0 insertions, 0 deletions