Age | Commit message (Expand) | Author |
---|---|---|
2016-06-24 | add script: "pavol" | Andrew Cady |
2016-01-11 | new configuration | Andrew Cady |
2015-10-04 | fixed ghc/ghci/runghc on $PATH | Andrew Cady |
2015-10-04 | wrappers to use ghc from stack | Andrew Cady |
index : dotfiles.git | ||
summaryrefslogtreecommitdiff |
Age | Commit message (Expand) | Author |
---|---|---|
2016-06-24 | add script: "pavol" | Andrew Cady |
2016-01-11 | new configuration | Andrew Cady |
2015-10-04 | fixed ghc/ghci/runghc on $PATH | Andrew Cady |
2015-10-04 | wrappers to use ghc from stack | Andrew Cady |