aboutsummaryrefslogtreecommitdiff
BranchCommit messageAuthorAge
exper-invperm-proofTry write correct inverse permutation function (incomplete)Tom Smeding18 months
invert-castableWIP invertable CastableTom Smeding10 months
masterUpdate doc comment in TraceTom Smeding5 hours
non-forcing-fromListsDon't force the list argument early in X.fromList*, if possibleMikolaj Konarski8 days
peano-snatWIP half-peano SNatsTom Smeding9 months
port-to-natnormalise-0.8.1Port to ghc-typelits-natnormalise-0.8.1 that is much overhauledMikolaj Konarski8 weeks
port-to-plugins-0.8.1DoneMikolaj Konarski8 weeks
repro-9.14-branchUpdate the repro vs plugins update courtesy of SamMikolaj Konarski3 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 Smeding18 months
 
AgeCommit messageAuthor
5 hoursUpdate doc comment in TraceHEADmasterTom Smeding
5 hoursExport PermR from top-levelTom Smeding
6 hourstrace: Print arguments and return valueTom Smeding
3 daysFix error messages for pi/fromRational in MixedTom Smeding
7 daysGeneralise sh?Enum functions to arbitrary NumTom Smeding
7 daysUp base bound to 4.23 (seems to work fine with GHC 9.14-RC)Tom Smeding
7 daysAdd shsEnum and shrEnumTom Smeding
7 daysAlso replace replicateScal -> replicatePrim in error messagesTom Smeding
7 daysMake first type arg of {m,s}emptyArray the shapeTom Smeding
7 daysRename, organise and cleanupTom Smeding
[...]
generated by cgit v1.2.3-70-g09d2 (git 2.51.2) at 2025-11-25 04:29:24 +0100