Department Mathematik



Exercise for Logik II (SS 2016) by Prof. Schwichtenberg


  • Note on how to use Minlog for programming in the term calculus T+ (pdf)
    Abstract: This is a tutorial to learn how to do programming using the term calculus T+ in Minlog. It deals with the way of using the parser to build terms of T+ involving typed lambda terms, constructors, recursion, general recursion, corecursion and defined constants with computation rules. There are simple and concrete example terms processing natural numbers and lists which are executable within Minlog.
  • Crash course in Minlog and Emacs (pdf)
    Abstract: This note is a cheat sheet for people who is going to use Minlog on Emacs without any preliminary knowledge.


Last modified: 10.06.2016