Luke's Religion
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.
alves@hungry.com