aboutsummaryrefslogtreecommitdiff
BranchCommit messageAuthorAge
SPEC-magicSPEC magicMikolaj Konarski5 months
masterBump version for the quickfix releaseMikolaj Konarski9 days
mgenerate-integralGeneralize also mgenerate to potentially avoid @fmap fromIntegral@Mikolaj Konarski5 months
mild-tweaks-repackagedOptimize slightly sh?FromList and sh?ToListMikolaj Konarski6 weeks
move-RankMake equal-rank-coercibility part of the interface of ListXTom Smeding2 weeks
mvecsReplicateImprove haddocs following the Tom's guidanceMikolaj Konarski13 days
non-forcing-fromListsDon't force the list argument early in X.fromList*, if possibleMikolaj Konarski5 months
port-to-natnormalise-0.8.1Port to ghc-typelits-natnormalise-0.8.1 that is much overhauledMikolaj Konarski7 months
port-to-plugins-0.8.1DoneMikolaj Konarski7 months
uncontroversial-tweaks-repackagedDepend on the versions of orthotope that have toVectorListTMikolaj Konarski6 weeks
[...]
 
TagDownloadAuthorAge
v0.2.0.0commit d0baaba727...Mikolaj Konarski12 days
repro-lint-profilecommit b1253991b2...Mikolaj Konarski4 months
repro-UNPACKcommit 21d3d6190b...Mikolaj Konarski4 months
v0.1.0.0commit bff10fbf08...Tom Smeding10 months
last-with-inatcommit 77ab86ede9...Tom Smeding23 months
 
AgeCommit messageAuthor
13 daysImprove haddocs following the Tom's guidancemvecsReplicateMikolaj Konarski
13 daysCPP the TypeAbstractions extension for old GHCsMikolaj Konarski
14 daysGet rid of most ListX operationsMikolaj Konarski
14 daysRemove ListRMikolaj Konarski
14 daysRemove ListSMikolaj Konarski
14 daysFollow up the equal-rank-coercibility introductionMikolaj Konarski
14 daysMake equal-rank-coercibility part of the interface of ListXTom Smeding
14 daysGet rid of ListHMikolaj Konarski
2026-04-09Define a pair of conversions ixxFromIxS'/ixrFromIxS' anologous to ixsFromIxX'...Mikolaj Konarski
2026-04-09Bring ixsFromIxR' backMikolaj Konarski
[...]