Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Improve display of poly-kinded type operators | nand | 2014-02-11 | 1 | -66/+226 |
* | Add support for type/data families | nand | 2014-02-11 | 1 | -79/+595 |
* | <+>: Don't insert a space when concatenating empty nodes | Dr. ERDI Gergo | 2014-01-31 | 1 | -6/+6 |
* | Fix totality, unicode, examples, paragraph parsing | Simon Hengel | 2014-01-12 | 1 | -10/+5 |
* | Don't append newline to parseString input | Simon Hengel | 2014-01-12 | 1 | -1/+1 |
* | Bump version | Simon Hengel | 2013-11-10 | 1 | -1/+1 |
* | Bump version | Simon Hengel | 2012-12-07 | 1 | -1/+1 |
* | Move HTML reference renderings to /html-test/ref/ | Simon Hengel | 2012-10-15 | 1 | -0/+212 |