Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | static member constructors | Adrian Thurston | 2012-07-02 | 1 | -7/+7 |
* | using static member functions for TypeRef construction | Adrian Thurston | 2012-07-02 | 1 | -6/+6 |
* | using a cons function for Term | Adrian Thurston | 2012-07-01 | 1 | -2/+0 |
* | using static constructors for creating Expression | Adrian Thurston | 2012-07-01 | 1 | -3/+5 |
* | moved 'colm' dir to 'src' | Adrian Thurston | 2012-07-01 | 1 | -0/+1496 |