app
|
Rename SemanticCmdLine to Semantic.CLI.
|
2017-11-27 11:57:27 -05:00 |
bench
|
Fix benchmarks.
|
2018-05-04 13:49:37 -04:00 |
bin
|
Keep a bin directory around for deployments
|
2016-02-02 13:50:07 -06:00 |
preludes
|
Don't break tests (yet)
|
2018-05-16 10:58:21 -07:00 |
proto
|
Docs and better spelling
|
2018-06-12 15:29:41 -07:00 |
script
|
No more script/run
|
2018-05-18 15:57:21 -07:00 |
src
|
Define the Python prelude using our primitive DSL.
|
2018-06-18 09:56:47 -04:00 |
test
|
Merge branch 'master' into telemetry-and-config
|
2018-06-15 10:40:06 -07:00 |
vendor
|
Merge branch 'master' into bump-effects
|
2018-06-15 14:15:18 -04:00 |
.ghci
|
fix conflicts with new haskell additions
|
2018-05-31 15:32:10 -07:00 |
.gitattributes
|
Treat the licenses dir as vendored.
|
2017-08-15 10:49:51 -04:00 |
.gitignore
|
Ignore codex.tags files
|
2018-05-24 12:43:13 -04:00 |
.gitmodules
|
Add semilattices as a submodule.
|
2018-06-15 11:36:58 -04:00 |
HLint.hs
|
Add a hint about maybeM.
|
2018-05-30 10:37:16 -04:00 |
Setup.hs
|
Use the simple build type.
|
2017-07-23 10:34:30 -04:00 |