aboutsummaryrefslogtreecommitdiff
BranchCommit messageAuthorAge
exper-hs-numopsBenchmark with haskell num ops via mutable vectorsTom Smeding5 months
exper-invperm-proofTry write correct inverse permutation function (incomplete)Tom Smeding5 months
experiment-with-KnownShapeMake also the sized shaped lists strict due to impurity in horde-adMikolaj Konarski6 months
flesh-out-sized-listsTry to make up for ToINat not being injectiveMikolaj Konarski6 months
masterFix slice typeTom Smeding6 months
singletonsSupport arrays of BoolTom Smeding14 days
 
TagDownloadAuthorAge
last-with-inatcommit 77ab86ede9...Tom Smeding6 months
 
AgeCommit messageAuthor
14 daysSupport arrays of BoolsingletonsTom Smeding
2024-10-10Fix error message in listxFromListTom Smeding
2024-10-10Better error message in IsList(ListR)Tom Smeding
2024-10-10Add pointer to haddock issue in trace-wrappers flag descrTom Smeding
2024-10-10Sync Trace.hs fully with Nested.hs; gentrace.sh monstrosityTom Smeding
2024-10-10Also export recent type family exports from Trace.hsTom Smeding
2024-10-10Add recent functions to Trace.hsTom Smeding
2024-10-09Remove redundant Elt constraintTom Smeding
2024-10-09Export *fromListPrimLinearTom Smeding
2024-10-09Export ProductTom Smeding
[...]