Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Allow underscores in numeric literals (and in field/destructor names that are... | 2014-10-23 | |
* | Add char literals. | 2014-10-20 | |
* | Added types "char" and "string" (the latter being a synonym for "seq<char>"). | 2014-10-20 | |
* | Add higher-order-functions and some other goodies | 2014-08-11 | |
* | New logical encoding of types with Is and IsAlloc | 2014-07-07 | |
* | Put all sources under \Source directory | 2012-10-04 |