Marco Perone

stylish-haskell configuration file (EXPERIMENTAL, don't merge yet)

1

address partially #100 My proposal is to use https://hackage.haskell.org/package/hlint and https://hackage.haskell.org/package/stylish-haskell. Generally they should be installed locally and integrated with the development environment (for sublime-text, see https://packagecontrol.io/packages/SublimeLinter-hlint and https://packagecontrol.io/packages/StylishHaskell). They...

Convert to Idris 2

9

We will have to consider this at some point, so I thought it would be good to put this out here. coming from https://github.com/statebox/idris-stbx-core/issues/34

improve compilation speed for ProductCategory

4

this is slowing down the compilation of all the monoidal part of the library coming from https://github.com/statebox/idris-stbx-core/issues/32

provide the setting for a formal proof of https://mathoverflow.net/questions/346529/the-convolution-of-comonads-is-a-comonad

@andrek-sbox was there still work to be done to complete this?

one of the big complaints of the current state of the library is that many arguments which could be implicit are not. Try to refactor to actually make them implicit