summaryrefslogtreecommitdiff
path: root/prolog/problems/denotational_semantics
diff options
context:
space:
mode:
authorAleksander Sadikov <aleksander.sadikov@fri.uni-lj.si>2016-03-21 17:34:40 +0100
committerAleksander Sadikov <aleksander.sadikov@fri.uni-lj.si>2016-03-21 17:34:40 +0100
commit81d6131319b03aadfb89a6ec0e93d82911b755ef (patch)
tree6b2a7cbb0fd5ac12bb7565e9f5b6cb0fc635f38a /prolog/problems/denotational_semantics
parenta00f6c2c2be840399aa1fc94b79b1ef3340d5359 (diff)
Hints and plans for len/2 added.
Diffstat (limited to 'prolog/problems/denotational_semantics')
0 files changed, 0 insertions, 0 deletions