diff options
author | Martin Možina <martin.mozina@fri.uni-lj.si> | 2016-09-27 15:18:37 +0200 |
---|---|---|
committer | Martin Možina <martin.mozina@fri.uni-lj.si> | 2016-09-27 15:18:37 +0200 |
commit | 5a00cf460426af73cb1fef953acf01f460887f77 (patch) | |
tree | 69a2f6d93f5881f4f00140d119900daf1f793d25 /prolog/problems/denotational_semantics | |
parent | acd5a646f0848bfb4616144119cb7e10d7b41f8f (diff) |
Typo fix.
Diffstat (limited to 'prolog/problems/denotational_semantics')
0 files changed, 0 insertions, 0 deletions