 Koz Ross
|
b88561a26e
Start Finitary1 draft
|
пре 5 година |
|
Koz Ross
|
82957f7117
Write docs for previousSkipping and nextSkipping, implement previousSkipping for everything except Int* types, fix docs a little bit
|
пре 5 година |
|
Koz Ross
|
f345bbe724
Cap base bound to block 8.8 builds for now
|
пре 5 година |
|
Koz Ross
|
c7ea09b295
Add version bounds, fix compilation issues in 8.4
|
пре 5 година |
|
Koz Ross
|
0990654031
Ensure all Cabal checks pass
|
пре 5 година |
|
Koz Ross
|
5e5c4d5fc1
Ready first release
|
пре 5 година |
|
Koz Ross
|
0eff1d95e0
Remove some unnecessary comments in Cabal file
|
пре 5 година |
|
Koz Ross
|
8eb80b8d54
Finish docs
|
пре 5 година |
|
Koz Ross
|
16e6114159
Write README, clean up .cabal
|
пре 5 година |
|
Koz Ross
|
7bb9e55b06
Remove bench (probably don't need it)
|
пре 5 година |
|
Koz Ross
|
32fdd97552
Start on bench
|
пре 5 година |
|
Koz Ross
|
7ae07f7afb
Restore 8.4 support since I don't need QuantifiedConstraints now
|
пре 5 година |
|
Koz Ross
|
920dec9d4d
Remove Lift for now
|
пре 5 година |
|
Koz Ross
|
5da4794a3a
Rewrite everything to use associated type
|
пре 5 година |
|
Koz Ross
|
32cc96ef81
Rename back to Finitary, rewrite with associated type instead of fundep, start on Finitary1
|
пре 5 година |
|
Koz Ross
|
94bce8244b
Add instances for Word32, Word64, refactor TH to be more flexible
|
пре 5 година |
|
Koz Ross
|
f175ce41bc
Add more tests, add Int support via TH
|
пре 5 година |
|
Koz Ross
|
c7dbccce28
Use far too many dependent types to de-boilerplate Hedgehog tests
|
пре 5 година |
|
Koz Ross
|
9c263154fe
Add instances for sized vectors, tests
|
пре 5 година |
|
Koz Ross
|
7164676d3d
Test with all GHC versions I think necessary, note results
|
пре 5 година |
|
Koz Ross
|
85eb5c5c1b
Add some basic tests
|
пре 5 година |
|
Koz Ross
|
89736786f8
Purge Ordinal
|
пре 5 година |
|
Koz Ross
|
b83cbceeda
Start a principled rewrite
|
пре 5 година |
