Commit message (Expand) | Author | Age | Lines | |
---|---|---|---|---|
* | Improved transition table pp'ing | Guillermo Ramos | 2015-02-05 | -2/+0 |
* | Examples | Guillermo Ramos | 2015-02-05 | -18/+26 |
* | JSON-formatted commands | Guillermo Ramos | 2015-02-05 | -4/+20 |
* | Showing transitions (horrible mess, needs care) | Guillermo Ramos | 2015-02-04 | -1/+3 |
* | Initial commit (using Yesod's scaffolding) | Guillermo Ramos | 2014-09-27 | -0/+50 |