aboutsummaryrefslogtreecommitdiff
BranchCommit messageAuthorAge
exper-hs-numopsBenchmark with haskell num ops via mutable vectorsTom Smeding12 months
exper-invperm-proofTry write correct inverse permutation function (incomplete)Tom Smeding12 months
experiment-with-KnownShapeMake also the sized shaped lists strict due to impurity in horde-adMikolaj Konarski13 months
flesh-out-sized-listsTry to make up for ToINat not being injectiveMikolaj Konarski13 months
invert-castableWIP invertable CastableTom Smeding4 months
masterREADME: Improvements (thanks Mikolaj)Tom Smeding2 days
peano-snatWIP half-peano SNatsTom Smeding3 months
 
TagDownloadAuthorAge
last-with-inatcommit 77ab86ede9...Tom Smeding12 months
 
AgeCommit messageAuthor
2 daysREADME: Improvements (thanks Mikolaj)HEADmasterTom Smeding
2 daysREADME: more accurateTom Smeding
2 daysPoint to the README from the package descriptionTom Smeding
2 daysUpdate READMETom Smeding
13 daystest: Don't generate unreasonably large replicated arraysTom Smeding
13 daysRun stylish-haskellMikolaj Konarski
13 daysNested.hs: Fix typo in doc commentTom Smeding
13 daysNested.hs: import and export orderingTom Smeding
13 daysUpdate doc comments in LemmasTom Smeding
13 daysMove shape conversion ops to Data.Array.Nested.ConvertMikolaj Konarski
[...]