summaryrefslogtreecommitdiff
path: root/prolog/problems/denotational_semantics
diff options
context:
space:
mode:
authorAleksander Sadikov <aleksander.sadikov@fri.uni-lj.si>2015-10-19 21:22:39 +0200
committerAleksander Sadikov <aleksander.sadikov@fri.uni-lj.si>2015-10-19 21:22:39 +0200
commit5c49ea4fbedb104ba50f45ad7203824161e97d77 (patch)
tree4fd8b1bdb1ae32e35bae7cc60fadb56279ae88ba /prolog/problems/denotational_semantics
parent8bb41864af5f46fd70dbc0cedcdbb2396a798ca2 (diff)
Descriptions of Prolog sections added.
Diffstat (limited to 'prolog/problems/denotational_semantics')
-rw-r--r--prolog/problems/denotational_semantics/en.py4
-rw-r--r--prolog/problems/denotational_semantics/sl.py2
2 files changed, 3 insertions, 3 deletions
diff --git a/prolog/problems/denotational_semantics/en.py b/prolog/problems/denotational_semantics/en.py
index 6b3ac64..418b1e7 100644
--- a/prolog/problems/denotational_semantics/en.py
+++ b/prolog/problems/denotational_semantics/en.py
@@ -1,2 +1,2 @@
-name = 'Family relations'
-description = ''
+name = 'Denotational semantics'
+description = 'Adding meaning to grammars, writing a simple compiler for Algol-like programming language.'
diff --git a/prolog/problems/denotational_semantics/sl.py b/prolog/problems/denotational_semantics/sl.py
index f5adadb..d0e8f1e 100644
--- a/prolog/problems/denotational_semantics/sl.py
+++ b/prolog/problems/denotational_semantics/sl.py
@@ -1,2 +1,2 @@
name = 'Denotacijske semantike'
-description = ''
+description = 'Dodajanje pomena gramatikam, pisanje preprostega prevajalnika za programski jezik algolskega tipa.'