aboutsummaryrefslogtreecommitdiff
BranchCommit messageAuthorAge
experiment-with-KnownShapeMake sized ranked lists strict due to impurity evaluation order in horde-adMikolaj Konarski21 hours
flesh-out-sized-listsTry to make up for ToINat not being injectiveMikolaj Konarski6 days
masterMake index types useful for horde-ad by parameterising IntTom Smeding8 days
 
 
AgeCommit messageAuthor
8 daysMake index types useful for horde-ad by parameterising IntHEADmasterTom Smeding
9 daysGHC 9.8 compatibilityTom Smeding
9 daysSmall cleanupTom Smeding
9 dayssliceTom Smeding
9 daystoListTom Smeding
9 daysfromList1 (the analogue to orthotope's fromList)Tom Smeding
9 daysSome cleanupsTom Smeding
9 daysfromListTom Smeding
12 daysAdd "presentation" to READMETom Smeding
12 daysFix haddocks formattingTom Smeding
[...]