aboutsummaryrefslogtreecommitdiff
BranchCommit messageAuthorAge
exper-hs-numopsBenchmark with haskell num ops via mutable vectorsTom Smeding17 months
exper-invperm-proofTry write correct inverse permutation function (incomplete)Tom Smeding17 months
invert-castableWIP invertable CastableTom Smeding9 months
masterghc-typelits-knownnat 0.9.1 fixes the unsoundness againTom Smeding2 weeks
peano-snatWIP half-peano SNatsTom Smeding9 months
port-to-natnormalise-0.8.1Port to ghc-typelits-natnormalise-0.8.1 that is much overhauledMikolaj Konarski5 weeks
port-to-plugins-0.8.1DoneMikolaj Konarski6 weeks
repro-9.14-branchUpdate the repro vs plugins update courtesy of SamMikolaj Konarski3 months
reptrans-failedFailed experiment to add replicate/transpose combinationTom Smeding3 months
simplify-castableBidirectional inference for KnownEltTom Smeding5 months
[...]
 
TagDownloadAuthorAge
v0.1.0.0commit bff10fbf08...Tom Smeding4 months
last-with-inatcommit 77ab86ede9...Tom Smeding18 months
 
AgeCommit messageAuthor
2025-10-21ghc-typelits-knownnat 0.9.1 fixes the unsoundness againHEADmasterTom Smeding
2025-10-21Exclude ghc-typelits-natnormalise 0.9.0Tom Smeding
2025-10-21Revert "Remove a spurious case now correclty rules out by the plugins"Tom Smeding
2025-10-20Remove a spurious case now correclty rules out by the pluginsMikolaj Konarski
2025-10-02Tune redundant cases for no-warnings on GHC 9.12Tom Smeding
2025-10-02Compatibility with GHC 9.6Tom Smeding
2025-10-02Port to ghc-typelits-natnormalise-0.8.1 that is much overhauledport-to-natnormalise-0.8.1Mikolaj Konarski
2025-07-13Tweak shape ZipWith definitions slightlyMikolaj Konarski
2025-06-30Add SNat import to readme tasterTom Smeding
2025-06-30Cross-package doc links are half-broken, let's notTom Smeding
[...]
generated by cgit v1.2.3-70-g09d2 (git 2.51.0) at 2025-11-04 20:47:55 +0100