Search results

WuV: decide where to put my MMT formalizations of WuV's syntax+semantics definitions

Status: Open.

#139 In florian-rabe/Teaching;

· ComFreek opened on Nov 4, 2020

WuV: suggestion: mention terminology from literature: denotational, operational and axiomatic semantics

Status: Open.

#138 In florian-rabe/Teaching;

· ComFreek opened on Aug 25, 2020

WuV: include exercises 4, 5 in notes (currently only on slides)

Status: Open.

#137 In florian-rabe/Teaching;

· ComFreek opened on Aug 13, 2020

WuV: list all exercises on a single page in notes

Status: Open.

#136 In florian-rabe/Teaching;

· ComFreek opened on Aug 13, 2020

WuV: slides claim a codec for floats to strings is easy

Status: Open.

#135 In florian-rabe/Teaching;

· ComFreek opened on Aug 11, 2020

WuV: non-terminal clash in grammar

Status: Open.

#134 In florian-rabe/Teaching;

· ComFreek opened on Aug 11, 2020

WuV: footnote in table cell not rendered at all

Status: Open.

#130 In florian-rabe/Teaching;

· ComFreek opened on Aug 5, 2020

WuV: use a different small "l" to denote the source/object language in semantics chapter

Status: Open.

#129 In florian-rabe/Teaching;

· ComFreek opened on Aug 4, 2020