.licenses/semantic/cabal
|
use cmark-gfm 0.1.8
|
2019-03-14 13:41:40 +11:00 |
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 |
notices
|
Remove docker section from third-party notice
|
2019-02-21 18:42:50 -05:00 |
proto/semantic/api/v1
|
Try out Language as just a string
|
2019-03-11 13:21:27 -07:00 |
script
|
Fix tests
|
2018-06-22 14:19:01 -04:00 |
src
|
Merge branch 'master' into filter-gensymed-names
|
2019-03-18 13:51:50 -07:00 |
test
|
Revert "Update tests"
|
2019-03-12 09:56:37 -07:00 |
vendor
|
WIP async effect
|
2019-03-12 18:41:20 -04: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
|
Rename Helpers to Bridge.
|
2019-03-01 15:27:13 -05:00 |
Setup.hs
|
Use the simple build type.
|
2017-07-23 10:34:30 -04:00 |