diff options
| author | Martin <martin@leo.fri1.uni-lj.si> | 2015-10-09 11:19:53 +0200 |
|---|---|---|
| committer | Martin <martin@leo.fri1.uni-lj.si> | 2015-10-09 11:19:53 +0200 |
| commit | fd31d7d74e58796f3a5a7c84b4b19cb4af59ef4c (patch) | |
| tree | a1bbe33960a7cb59d9f370c9127e02a96f3d2005 /prolog/problems/denotational_semantics | |
| parent | 84f3426c937d1bb9d44ba25a71706416fbb8b85d (diff) | |
| parent | 7e918d834296e206aef922ee02d6991722c4653e (diff) | |
Merge branch 'master' of 192.168.15.97:codeq-problems
Conflicts:
python/problems/while_and_if/checking_account/en.py
python/problems/while_and_if/consumers_anonymous/en.py
Diffstat (limited to 'prolog/problems/denotational_semantics')
8 files changed, 2 insertions, 7 deletions
diff --git a/prolog/problems/denotational_semantics/algol_3/en.py b/prolog/problems/denotational_semantics/algol_3/en.py index 5c79c41..c5da13e 100644 --- a/prolog/problems/denotational_semantics/algol_3/en.py +++ b/prolog/problems/denotational_semantics/algol_3/en.py @@ -1,6 +1,5 @@ # coding=utf-8 -id = 176 name = 'algol/3' slug = 'interpreter for mini-algol' diff --git a/prolog/problems/denotational_semantics/algol_for_3/en.py b/prolog/problems/denotational_semantics/algol_for_3/en.py index 53e5e2b..d4b8144 100644 --- a/prolog/problems/denotational_semantics/algol_for_3/en.py +++ b/prolog/problems/denotational_semantics/algol_for_3/en.py @@ -1,6 +1,5 @@ # coding=utf-8 -id = 178 name = 'algol_for/3' slug = 'interpreter for mini-algol with for-statement' diff --git a/prolog/problems/denotational_semantics/algol_if_3/en.py b/prolog/problems/denotational_semantics/algol_if_3/en.py index f4ae00a..fae6c45 100644 --- a/prolog/problems/denotational_semantics/algol_if_3/en.py +++ b/prolog/problems/denotational_semantics/algol_if_3/en.py @@ -1,6 +1,5 @@ # coding=utf-8 -id = 177 name = 'algol_if/3' slug = 'interpreter for mini-algol with if-statement' diff --git a/prolog/problems/denotational_semantics/common.py b/prolog/problems/denotational_semantics/common.py new file mode 100644 index 0000000..e2c420e --- /dev/null +++ b/prolog/problems/denotational_semantics/common.py @@ -0,0 +1,2 @@ +id = 11 +number = 10 diff --git a/prolog/problems/denotational_semantics/prog_8puzzle_2/en.py b/prolog/problems/denotational_semantics/prog_8puzzle_2/en.py index d43a837..fc49742 100644 --- a/prolog/problems/denotational_semantics/prog_8puzzle_2/en.py +++ b/prolog/problems/denotational_semantics/prog_8puzzle_2/en.py @@ -1,6 +1,5 @@ # coding=utf-8 -id = 172 name = 'prog_8puzzle/2' slug = '8-puzzle-solving language' diff --git a/prolog/problems/denotational_semantics/prog_8puzzle_3/en.py b/prolog/problems/denotational_semantics/prog_8puzzle_3/en.py index 346d579..1c23b18 100644 --- a/prolog/problems/denotational_semantics/prog_8puzzle_3/en.py +++ b/prolog/problems/denotational_semantics/prog_8puzzle_3/en.py @@ -1,6 +1,5 @@ # coding=utf-8 -id = 173 name = 'prog_8puzzle/3' slug = '8-puzzle-solving language with semantics' diff --git a/prolog/problems/denotational_semantics/prog_listswap_2/en.py b/prolog/problems/denotational_semantics/prog_listswap_2/en.py index 2cf8fff..0f8e038 100644 --- a/prolog/problems/denotational_semantics/prog_listswap_2/en.py +++ b/prolog/problems/denotational_semantics/prog_listswap_2/en.py @@ -1,6 +1,5 @@ # coding=utf-8 -id = 175 name = 'prog_listswap/2' slug = 'list-manipulation language' diff --git a/prolog/problems/denotational_semantics/prog_listswap_3/en.py b/prolog/problems/denotational_semantics/prog_listswap_3/en.py index 88a927a..5e85ce6 100644 --- a/prolog/problems/denotational_semantics/prog_listswap_3/en.py +++ b/prolog/problems/denotational_semantics/prog_listswap_3/en.py @@ -1,6 +1,5 @@ # coding=utf-8 -id = 174 name = 'prog_listswap/3' slug = 'list-manipulation language with semantics' |