simple - a formal system demonstrating cyclic values
Scott Draves <spot@cs.cmu.edu>
http://www.cs.cmu.edu/~spot
see the file COPYING for the license covering this software.

release 0.3, as of Jul 27 1997
post-thesis

release 0.2, as of Apr  7 1997
post-icfp97
