From 5c49ea4fbedb104ba50f45ad7203824161e97d77 Mon Sep 17 00:00:00 2001 From: Aleksander Sadikov Date: Mon, 19 Oct 2015 21:22:39 +0200 Subject: Descriptions of Prolog sections added. --- prolog/problems/denotational_semantics/en.py | 4 ++-- prolog/problems/denotational_semantics/sl.py | 2 +- 2 files changed, 3 insertions(+), 3 deletions(-) (limited to 'prolog/problems/denotational_semantics') 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.' -- cgit v1.2.1