summaryrefslogtreecommitdiff
path: root/prolog/problems/denotational_semantics
diff options
context:
space:
mode:
authorAleš Smodiš <aless@guru.si>2015-08-18 16:34:34 +0200
committerAleš Smodiš <aless@guru.si>2015-08-18 16:34:34 +0200
commit940c518093003a4442aca39762101587330c9f6e (patch)
treef60962ed2ad12b96db8efebdc13d45b8a20857b5 /prolog/problems/denotational_semantics
parent95e2fe57f6e4639f6ae9f1fef368829d5090dbf6 (diff)
Added the coding line to python files.
Diffstat (limited to 'prolog/problems/denotational_semantics')
-rw-r--r--prolog/problems/denotational_semantics/algol_3/common.py2
-rw-r--r--prolog/problems/denotational_semantics/algol_3/en.py2
-rw-r--r--prolog/problems/denotational_semantics/algol_for_3/common.py2
-rw-r--r--prolog/problems/denotational_semantics/algol_for_3/en.py2
-rw-r--r--prolog/problems/denotational_semantics/algol_if_3/common.py2
-rw-r--r--prolog/problems/denotational_semantics/algol_if_3/en.py2
-rw-r--r--prolog/problems/denotational_semantics/prog_8puzzle_2/common.py2
-rw-r--r--prolog/problems/denotational_semantics/prog_8puzzle_2/en.py2
-rw-r--r--prolog/problems/denotational_semantics/prog_8puzzle_3/common.py2
-rw-r--r--prolog/problems/denotational_semantics/prog_8puzzle_3/en.py2
-rw-r--r--prolog/problems/denotational_semantics/prog_listswap_2/common.py2
-rw-r--r--prolog/problems/denotational_semantics/prog_listswap_2/en.py2
-rw-r--r--prolog/problems/denotational_semantics/prog_listswap_3/common.py2
-rw-r--r--prolog/problems/denotational_semantics/prog_listswap_3/en.py2
14 files changed, 28 insertions, 0 deletions
diff --git a/prolog/problems/denotational_semantics/algol_3/common.py b/prolog/problems/denotational_semantics/algol_3/common.py
index fe6618d..1f5b196 100644
--- a/prolog/problems/denotational_semantics/algol_3/common.py
+++ b/prolog/problems/denotational_semantics/algol_3/common.py
@@ -1,3 +1,5 @@
+# coding=utf-8
+
id = 176
group = 'denotational_semantics'
number = 83
diff --git a/prolog/problems/denotational_semantics/algol_3/en.py b/prolog/problems/denotational_semantics/algol_3/en.py
index 4b46b11..5c79c41 100644
--- a/prolog/problems/denotational_semantics/algol_3/en.py
+++ b/prolog/problems/denotational_semantics/algol_3/en.py
@@ -1,3 +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/common.py b/prolog/problems/denotational_semantics/algol_for_3/common.py
index 3917aa6..bc0c3e8 100644
--- a/prolog/problems/denotational_semantics/algol_for_3/common.py
+++ b/prolog/problems/denotational_semantics/algol_for_3/common.py
@@ -1,3 +1,5 @@
+# coding=utf-8
+
id = 178
group = 'denotational_semantics'
number = 85
diff --git a/prolog/problems/denotational_semantics/algol_for_3/en.py b/prolog/problems/denotational_semantics/algol_for_3/en.py
index 3578b71..53e5e2b 100644
--- a/prolog/problems/denotational_semantics/algol_for_3/en.py
+++ b/prolog/problems/denotational_semantics/algol_for_3/en.py
@@ -1,3 +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/common.py b/prolog/problems/denotational_semantics/algol_if_3/common.py
index 8ca92bc..fd750e0 100644
--- a/prolog/problems/denotational_semantics/algol_if_3/common.py
+++ b/prolog/problems/denotational_semantics/algol_if_3/common.py
@@ -1,3 +1,5 @@
+# coding=utf-8
+
id = 177
group = 'denotational_semantics'
number = 84
diff --git a/prolog/problems/denotational_semantics/algol_if_3/en.py b/prolog/problems/denotational_semantics/algol_if_3/en.py
index 6bc0cb8..f4ae00a 100644
--- a/prolog/problems/denotational_semantics/algol_if_3/en.py
+++ b/prolog/problems/denotational_semantics/algol_if_3/en.py
@@ -1,3 +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/prog_8puzzle_2/common.py b/prolog/problems/denotational_semantics/prog_8puzzle_2/common.py
index 4cc9c9e..e48d03f 100644
--- a/prolog/problems/denotational_semantics/prog_8puzzle_2/common.py
+++ b/prolog/problems/denotational_semantics/prog_8puzzle_2/common.py
@@ -1,3 +1,5 @@
+# coding=utf-8
+
id = 172
group = 'denotational_semantics'
number = 81
diff --git a/prolog/problems/denotational_semantics/prog_8puzzle_2/en.py b/prolog/problems/denotational_semantics/prog_8puzzle_2/en.py
index eebf07b..d43a837 100644
--- a/prolog/problems/denotational_semantics/prog_8puzzle_2/en.py
+++ b/prolog/problems/denotational_semantics/prog_8puzzle_2/en.py
@@ -1,3 +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/common.py b/prolog/problems/denotational_semantics/prog_8puzzle_3/common.py
index 415dc17..f86a0c4 100644
--- a/prolog/problems/denotational_semantics/prog_8puzzle_3/common.py
+++ b/prolog/problems/denotational_semantics/prog_8puzzle_3/common.py
@@ -1,3 +1,5 @@
+# coding=utf-8
+
id = 173
group = 'denotational_semantics'
number = 82
diff --git a/prolog/problems/denotational_semantics/prog_8puzzle_3/en.py b/prolog/problems/denotational_semantics/prog_8puzzle_3/en.py
index c91b9e3..346d579 100644
--- a/prolog/problems/denotational_semantics/prog_8puzzle_3/en.py
+++ b/prolog/problems/denotational_semantics/prog_8puzzle_3/en.py
@@ -1,3 +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/common.py b/prolog/problems/denotational_semantics/prog_listswap_2/common.py
index ae1c220..9a7c586 100644
--- a/prolog/problems/denotational_semantics/prog_listswap_2/common.py
+++ b/prolog/problems/denotational_semantics/prog_listswap_2/common.py
@@ -1,3 +1,5 @@
+# coding=utf-8
+
id = 175
group = 'denotational_semantics'
number = 79
diff --git a/prolog/problems/denotational_semantics/prog_listswap_2/en.py b/prolog/problems/denotational_semantics/prog_listswap_2/en.py
index 4dd0ed5..2cf8fff 100644
--- a/prolog/problems/denotational_semantics/prog_listswap_2/en.py
+++ b/prolog/problems/denotational_semantics/prog_listswap_2/en.py
@@ -1,3 +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/common.py b/prolog/problems/denotational_semantics/prog_listswap_3/common.py
index 110890d..2b32618 100644
--- a/prolog/problems/denotational_semantics/prog_listswap_3/common.py
+++ b/prolog/problems/denotational_semantics/prog_listswap_3/common.py
@@ -1,3 +1,5 @@
+# coding=utf-8
+
id = 174
group = 'denotational_semantics'
number = 80
diff --git a/prolog/problems/denotational_semantics/prog_listswap_3/en.py b/prolog/problems/denotational_semantics/prog_listswap_3/en.py
index 1a7cb79..88a927a 100644
--- a/prolog/problems/denotational_semantics/prog_listswap_3/en.py
+++ b/prolog/problems/denotational_semantics/prog_listswap_3/en.py
@@ -1,3 +1,5 @@
+# coding=utf-8
+
id = 174
name = 'prog_listswap/3'
slug = 'list-manipulation language with semantics'