app
|
s/Semantic/SemanticCmdLine
|
2017-04-19 14:22:24 -07:00 |
bin
|
Keep a bin directory around for deployments
|
2016-02-02 13:50:07 -06:00 |
script
|
Don’t generate the ±A/B fixtures.
|
2017-08-15 09:30:50 -04:00 |
src
|
Merge branch 'master' into alternative-algorithms
|
2017-09-19 14:39:35 -04:00 |
test
|
Some updated python fixtures due to eqTerms
|
2017-09-19 09:37:50 -07:00 |
vendor
|
Bump.
|
2017-09-18 00:23:41 -04:00 |
.ghci-template
|
Add .ghci-template file
|
2017-09-12 13:14:35 -07:00 |
.gitattributes
|
Treat the licenses dir as vendored.
|
2017-08-15 10:49:51 -04:00 |
.gitignore
|
Ignore cabal-generated environment files.
|
2017-08-22 12:27:57 -04:00 |
HLint.hs
|
Rename termSyntax to termOut.
|
2017-09-11 15:24:09 -04:00 |
ROADMAP.md
|
Stub in a new roadmap file.
|
2017-08-15 10:54:28 -04:00 |
Setup.hs
|
Use the simple build type.
|
2017-07-23 10:34:30 -04:00 |