 Koz Ross
|
7ae07f7afb
Restore 8.4 support since I don't need QuantifiedConstraints now
|
5 yıl önce |
|
Koz Ross
|
920dec9d4d
Remove Lift for now
|
5 yıl önce |
|
Koz Ross
|
5da4794a3a
Rewrite everything to use associated type
|
5 yıl önce |
|
Koz Ross
|
32cc96ef81
Rename back to Finitary, rewrite with associated type instead of fundep, start on Finitary1
|
5 yıl önce |
|
Koz Ross
|
94bce8244b
Add instances for Word32, Word64, refactor TH to be more flexible
|
5 yıl önce |
|
Koz Ross
|
f175ce41bc
Add more tests, add Int support via TH
|
5 yıl önce |
|
Koz Ross
|
c7dbccce28
Use far too many dependent types to de-boilerplate Hedgehog tests
|
5 yıl önce |
|
Koz Ross
|
9c263154fe
Add instances for sized vectors, tests
|
5 yıl önce |
|
Koz Ross
|
7164676d3d
Test with all GHC versions I think necessary, note results
|
5 yıl önce |
|
Koz Ross
|
85eb5c5c1b
Add some basic tests
|
5 yıl önce |
|
Koz Ross
|
89736786f8
Purge Ordinal
|
5 yıl önce |
|
Koz Ross
|
b83cbceeda
Start a principled rewrite
|
5 yıl önce |
