crockeea
crockeea
In particular, Cabal, mtl, network, process, and transformers have a newer version than are allowed by the .cabal file. Moreover, with GHC-7.8, transformers and process are _fixed_ at a higher...
If I have a single-function type signature: ``` foo :: (Foo a) => a -> b ``` then `foo` gets highlighted. But if I write ``` foo, bar :: (Foo...
In the following line: ``` class (--my comment -- more comments ``` SH italicizes everything after `--` in the first line instead of applying comment syntax. It highlights the second...
In the snippet ``` class Foo2 a b where foo2 :: a -> b ``` `foo2` is highlighted correctly, but `Foo2` is incorect: the `2` is not colored like `Foo`,...
`Additive` and `Ring` instances for `CycRep` currently define `(*) = fmap (*)`. This could be (is?) much slower than letting individual `Tensor` instances define their own instances. Instead, we should...
Currently it's unclear which way to associate product rings for optimal efficiency without inspecting our code. This makes it difficult for users to write the best code. Is there some...
We discussed adding the constraint that the PT modulus `p` must be coprime with the odd factors of `m` to `decrypt` (and `absorbGFactors`?) Adding this constraint limits what types can...
Once we get TravisCI set up, we can add Lol to the nightly build on Stackage: https://github.com/fpco/stackage/#get-your-package-included.
Our current representation of ring products uses Haskell tuples, which are lazy. It would probably be better to use a strict data structure.
The current definition of (say) `rescaleCyc Pow` for a tuple in the Dec basis may convert the entire tuple to Dec basis. The offending code is `(b - reduce z)`:...