silly-models

silly-models

This directory contains code to check trivial facts of the language constructs. In most cases, model "M" is the toplevel. Try compiling model "M" (often in some package).