Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Removed temporary "|" prefix on Nat. | Eduardo Julian | 2018-07-28 | 1 | -1/+1 |
* | Temporary commit to get rid of "+" signs for Nat. | Eduardo Julian | 2018-07-28 | 1 | -1/+1 |
* | Re-named "seq" to "and" and "alt" to "or". | Eduardo Julian | 2018-07-21 | 1 | -4/+4 |
* | - Re-named "Compiler" to "Phase". | Eduardo Julian | 2018-07-21 | 1 | -0/+35 |