|
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 |
|
proto
|
Lets spit out terms of syntaxes
|
2018-06-20 16:33:58 -04:00 |
|
script
|
No more script/run
|
2018-05-18 15:57:21 -07:00 |
|
src
|
Split up Comparison
|
2018-06-21 15:59:09 -04:00 |
|
vendor
|
Bump fastsum
|
2018-06-21 15:59:15 -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
|
Remove our proto3-* submodules.
|
2018-06-19 10:35:47 -04:00 |
|
.hlint.yaml
|
🔥 some pointless notes.
|
2018-06-19 09:56:05 -04:00 |
|
semantic.cabal
|
Determine Preludes from the language.
|
2018-06-18 11:09:01 -04:00 |
|
Setup.hs
|
Use the simple build type.
|
2017-07-23 10:34:30 -04:00 |
