Celf examples

This page contains a series CLF examples written. Most of them are accepted by the current implementations. The ones that are not are marked with the appropriate motive (obsolete syntax, type error, mode error, etc) -- they will be upgraded shortly.

• Correspondence assertions, by Kevin Watkins, March 2004 (obsolete syntax)

• cml.clf, cml-2.clf, cml-frames.clf: formalization of Concurrent ML