aboutsummaryrefslogtreecommitdiff
BranchCommit messageAuthorAge
exper-hs-numopsBenchmark with haskell num ops via mutable vectorsTom Smeding13 months
exper-invperm-proofTry write correct inverse permutation function (incomplete)Tom Smeding13 months
experiment-with-KnownShapeMake also the sized shaped lists strict due to impurity in horde-adMikolaj Konarski14 months
flesh-out-sized-listsTry to make up for ToINat not being injectiveMikolaj Konarski14 months
invert-castableWIP invertable CastableTom Smeding5 months
masterAdd SNat import to readme tasterTom Smeding4 days
peano-snatWIP half-peano SNatsTom Smeding5 months
simplify-castableBidirectional inference for KnownEltTom Smeding4 weeks
 
TagDownloadAuthorAge
last-with-inatcommit 77ab86ede9...Tom Smeding14 months
 
AgeCommit messageAuthor
4 daysAdd SNat import to readme tasterHEADmasterTom Smeding
4 daysCross-package doc links are half-broken, let's notTom Smeding
4 daysFix rerank docsTom Smeding
4 daysFix formatting in cabal fileTom Smeding
4 daysPackage description and changelogTom Smeding
4 daysCommon-up some options in cabal fileTom Smeding
4 daysApply a small fraction of hlint hintsMikolaj Konarski
5 daysPermutations: withKnownPermTom Smeding
5 daysAdd existential conversions to ShSTom Smeding
5 daysMore shape/index conversion functionsTom Smeding
[...]