app
|
Rename SemanticCmdLine to Semantic.CLI.
|
2017-11-27 11:57:27 -05:00 |
bin
|
Keep a bin directory around for deployments
|
2016-02-02 13:50:07 -06:00 |
proto
|
Merge 'origin/master' into deploy-to-moda
|
2019-02-11 14:27:22 -05:00 |
script
|
Fix tests
|
2018-06-22 14:19:01 -04:00 |
src
|
remove imports
|
2019-02-11 15:05:24 -05:00 |
test
|
Merge 'origin/master' into deploy-to-moda
|
2019-02-11 14:27:22 -05:00 |
vendor
|
Bump fused-effects.
|
2019-02-01 12:42:50 -05:00 |
.ghci
|
Prevent slowdowns when pretty-printing in ghci.
|
2018-10-04 14:38:36 -04:00 |
.gitattributes
|
Treat the licenses dir as vendored.
|
2017-08-15 10:49:51 -04:00 |
.gitignore
|
Update licenses, fix gitignore
|
2019-01-25 08:14:35 -08:00 |
.gitmodules
|
Use an https URL for the fastsum submodule.
|
2018-12-05 12:16:40 -05:00 |
semantic.cabal
|
Merge 'origin/master' into deploy-to-moda
|
2019-02-11 14:27:22 -05:00 |
Setup.hs
|
Use the simple build type.
|
2017-07-23 10:34:30 -04:00 |