.. |
Abstract
|
Merge branch 'deploy-to-moda' into merge-indexer-prototype
|
2019-02-21 12:23:20 -05:00 |
Functor
|
Remove 'both' function.
|
2019-01-10 15:53:15 -05:00 |
Graph
|
revert 41ed8429d
|
2019-02-20 15:17:31 -05:00 |
JSON
|
Only re-export Generic/Generic1.
|
2018-10-12 17:54:57 -04:00 |
Map
|
Use -XDerivingVia to clean up our Semigroup/Monoid instances.
|
2019-01-07 11:23:11 -05:00 |
Reprinting
|
last few changes
|
2018-12-04 10:45:30 -05:00 |
Scientific
|
Whitelist attemptUnsafeArithmetic in the hlint config.
|
2018-11-05 09:51:56 -05:00 |
Semigroup
|
Environment and App.
|
2018-10-31 15:47:30 -04:00 |
Syntax
|
more hints
|
2019-02-20 16:53:44 -05:00 |
Algebra.hs
|
remove unused bits from Data.Algebra
|
2018-10-02 11:05:04 +10:00 |
AST.hs
|
Cleanup
|
2018-09-26 14:25:00 -05:00 |
Blob.hs
|
Eliminate other places where These leaked to implementation.
|
2019-03-01 11:52:21 -05:00 |
Diff.hs
|
Merge 'origin/master' into deploy-to-moda
|
2019-02-11 14:27:22 -05:00 |
Duration.hs
|
Get the math right!
|
2018-11-13 15:50:07 -08:00 |
Error.hs
|
Merge remote-tracking branch 'origin/master' into interactive-debugger
|
2018-08-10 14:20:16 -04:00 |
File.hs
|
Fix some errors that crept in.
|
2019-03-01 12:36:16 -05:00 |
Graph.hs
|
Merge remote-tracking branch 'origin/indexer-prototype' into deploy-to-moda
|
2019-02-20 14:23:18 -05:00 |
Handle.hs
|
stray LANGUAGE pragma
|
2018-10-23 15:46:02 -04:00 |
History.hs
|
Slightly more elegant expression of mark
|
2018-09-26 16:55:02 -05:00 |
ImportPath.hs
|
Merge 'origin/master' into deploy-to-moda
|
2019-02-11 14:27:22 -05:00 |
Language.hs
|
Use parseLanguages
|
2019-02-20 15:41:51 -08:00 |
Location.hs
|
Use -XDerivingVia to clean up our Semigroup/Monoid instances.
|
2019-01-07 11:23:11 -05:00 |
Patch.hs
|
Extra langauge pragma
|
2018-03-16 12:48:05 -07:00 |
Project.hs
|
Merge 'origin/master' into deploy-to-moda
|
2019-02-11 14:27:22 -05:00 |
Quieterm.hs
|
Add getSpan so we don't have to eval a term
|
2019-02-11 13:15:13 -05:00 |
Range.hs
|
Merge 'origin/master' into deploy-to-moda
|
2019-02-11 14:27:22 -05:00 |
Source.hs
|
Merge remote-tracking branch 'origin/indexer-prototype' into merge-indexer-prototype
|
2019-02-21 12:22:08 -05:00 |
Span.hs
|
Merge remote-tracking branch 'origin/indexer-prototype' into deploy-to-moda
|
2019-02-20 14:23:18 -05:00 |
Syntax.hs
|
remove do block
|
2019-02-26 10:41:04 -05:00 |
Tag.hs
|
Consolidate a number of unused modules.
|
2019-02-08 14:43:15 -05:00 |
Term.hs
|
Merge 'origin/master' into deploy-to-moda
|
2019-02-11 14:27:22 -05:00 |