Smten Theory
============
ruhler@<csail.mit.edu>
March 31, 2014

Th smten-theory repository collects together formalisms and proofs related to
the Smten language and implementation. The formalisms are expressed using the
coq proof assistant.

The following are contents of this repository:
doc/todo.txt::
 An out-of-date list of things to do.

lib/*::
 Library code not specifically about Smten. The library code is based on
 Benjamin Pierce's Software Foundations.
 
sf/*::
 Original contents of Benjamin Pierce's Software Foundations. 

smten/*::
 Definition of the Smten language.

src/*::
 Various files intended to be used for the Smten implementation, but mostly
 out of date and incomplete.