en.py\denotational_semantics\problems\prolog - codeq-problems.git - CodeQ problem definitions

summary refs log tree commit diff

path: root/prolog/problems/denotational_semantics/en.py

blob: a245e15861f9f15bfbd91d5f897a95ce6e94bbbf (plain)

1 2	`name = 'Denotational semantics' description = 'Adding meaning to grammars for list-processing languages.'`