This page is sometimes maintained by
Ian A. Mason
Carolyn L. Talcott
- April 2013: minor additions to the language (isnull, isobject).
- May 2013: Parsing is now done with antrl4 antlr4 goes live.
- May 2013: Android version built.
- June 2012: Implicit seqs added to lets, lambdas, defines, and tries.