aboutsummaryrefslogtreecommitdiff
BranchCommit messageAuthorAge
SPEC-magicSPEC magicMikolaj Konarski7 hours
masterInlining magicTom Smeding9 hours
mgenerate-integralGeneralize also mgenerate to potentially avoid @fmap fromIntegral@Mikolaj Konarski40 hours
non-forcing-fromListsDon't force the list argument early in X.fromList*, if possibleMikolaj Konarski2 weeks
peano-snatWIP half-peano SNatsTom Smeding10 months
port-to-natnormalise-0.8.1Port to ghc-typelits-natnormalise-0.8.1 that is much overhauledMikolaj Konarski2 months
port-to-plugins-0.8.1DoneMikolaj Konarski2 months
repro-9.14-branchUpdate the repro vs plugins update courtesy of SamMikolaj Konarski4 months
reptrans-failedFailed experiment to add replicate/transpose combinationTom Smeding4 months
simplify-castableBidirectional inference for KnownEltTom Smeding6 months
[...]
 
TagDownloadAuthorAge
v0.1.0.0commit bff10fbf08...Tom Smeding5 months
last-with-inatcommit 77ab86ede9...Tom Smeding19 months
 
AgeCommit messageAuthor
7 hoursSPEC magicSPEC-magicMikolaj Konarski
9 hoursInlining magicHEADmasterTom Smeding
12 hoursRestore suffixes sharing in *FromLinearTom Smeding
31 hoursMake shsFromList even more const-likeMikolaj Konarski
31 hoursAdd a missing INLINEABLE for ixsToListMikolaj Konarski
32 hoursDefine {list,sh,ix}*ToList functions using 'build'Tom Smeding
37 hourstemplate-haskell is now used unconditionallyTom Smeding
39 hoursLet sh*FromList functions print proper error messagesTom Smeding
39 hoursProvide ix*FromLinear for all three shape kindsTom Smeding
39 hoursDoc commentsTom Smeding
[...]