- 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
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