Issues
- 5
Adding Agda to CI?
#30 opened - 4
- 1
API to work with naked Dictionary_
#25 opened - 6
- 6
Build failure of `vector-hashtables-0.1.0.0` with `cabal build -w ghc-8.6.5 --prefer-oldest`
#19 opened - 7
Add to stackage
#13 opened - 6
Too strict bounds on hspec
#11 opened - 1
Massiv-based version
#2 opened - 1
Hackage release
#1 opened