?

A calculator/rewriter for Dijkstra's guarded command language.
It is written using guile and gtk .
Inspired by Edward Cohen's book on program derivation
Programming in the 1990's
An Introduction to the Calculation of Programs

Nimh is a toy mail reader which uses nmh as its message store.