| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Split SProjType along build-tool line | Daniel Gröber | 2019-09-17 | 1 | -1/+1 |
| | | | | | | | | This makes it much easier to deal with differences between the build tools as we can now have functions that only make sense for Cabal and statically enforce this by passing a 'SCabalProjType pt' as evidence that $pt \in {V1, V2}$. | ||||
| * | Add example to show off cabal-helper's functionality | Daniel Gröber | 2019-01-22 | 1 | -0/+65 |
 |
index : cabal-helper.git | |
| Unnamed repository; edit this file 'description' to name the repository. |
| aboutsummaryrefslogtreecommitdiff |