aboutsummaryrefslogtreecommitdiff
Commit message (Expand)AuthorAge
* Bump copyright yearHEADmasterMikolaj Konarski37 hours
* Fix Data.Array.Nested.Trace export list after the recent changesMikolaj Konarski4 days
* Fix most 'cabal check' warningsv0.2.0.0Mikolaj Konarski4 days
* Bump version for a releaseMikolaj Konarski4 days
* Fix some haddock errorsMikolaj Konarski4 days
* Remove outdated haddocks about materialising listsMikolaj Konarski4 days
* Improve haddocs following the Tom's guidancemvecsReplicateMikolaj Konarski5 days
* CPP the TypeAbstractions extension for old GHCsMikolaj Konarski6 days
* Get rid of most ListX operationsMikolaj Konarski6 days
* Remove ListRMikolaj Konarski6 days
* Remove ListSMikolaj Konarski6 days
* Follow up the equal-rank-coercibility introductionMikolaj Konarski6 days
* Make equal-rank-coercibility part of the interface of ListXTom Smeding6 days
* Get rid of ListHMikolaj Konarski6 days
* Define a pair of conversions ixxFromIxS'/ixrFromIxS' anologous to ixsFromIxX'...Mikolaj Konarski6 days
* Bring ixsFromIxR' backMikolaj Konarski7 days
* Justify two unsafeCoerces using partial coerceTom Smeding7 days
* Sketch a new CHANGELOG entryMikolaj Konarski8 days
* Update the README remark about the implementation of indexesMikolaj Konarski8 days
* Apply some hlint hintsMikolaj Konarski8 days
* Tweak sized list type synonyms slightlyMikolaj Konarski10 days
* Officially describe the data invariant for ListX and the punched holesMikolaj Konarski11 days
* Use lazilyConcat for listxAppendMikolaj Konarski11 days
* Implement ListX as [] with strict pattern synonymsMikolaj Konarski11 days
* Remove copies of length and toList operations that Foldable already providesMikolaj Konarski11 days
* Remove almost all unsafeCoerceMikolaj Konarski12 days
* Make ranked and shaped lists newtypes over mixedMikolaj Konarski12 days
* Simplify the index list pattern synonymsMikolaj Konarski12 days
* Fix typos/thinkosMikolaj Konarski14 days
* Audit remaining uses of KnownNat and SNat patternsMikolaj Konarski14 days
* Remove a couple of obsolete/wrong TODOsMikolaj Konarski14 days
* Rename TakeLen functions to TakeLenPerm; same for DropMikolaj Konarski14 days
* Fill and clean up *TakeIx and *DropIx functionsMikolaj Konarski2026-03-16
* Add permId and permShiftNMikolaj Konarski2026-03-15
* Odds and endsMikolaj Konarski2026-03-15
* Eliminate all QuantifiedConstraints extensions from the codeMikolaj Konarski2026-03-15
* Use shxDropSSX instead of shxSplitApp, etc.Mikolaj Konarski2026-03-15
* Add pragmas to functions that -fprof-late-overloaded-calls reportsMikolaj Konarski2026-03-15
* Remove ixsFromIxR' and simplify ixsFromIxRMikolaj Konarski2026-03-15
* Make List?, except ListH, less generalMikolaj Konarski2026-03-15
* De-triplicate ix?ToLinearMikolaj Konarski2026-03-15
* De-triplicate sh?EnumMikolaj Konarski2026-03-15
* Define ix?FromLinear without THMikolaj Konarski2026-03-15
* Implement index conversions as unsafeCoerceMikolaj Konarski2026-03-15
* Optimize slightly sh?FromList and sh?ToListmild-tweaks-repackagedMikolaj Konarski2026-03-15
* Implement ranked shape conversions as newtype coercesMikolaj Konarski2026-03-15
* Make ShR a newtype over ShXMikolaj Konarski2026-03-15
* Add the trivial Eq and Ord instances also for StaticShXMikolaj Konarski2026-03-15
* Prefer newtype deriving over Generic deriving for simplicityMikolaj Konarski2026-03-15
* Temporarily remove the UNPACK, until GHC is fixed not to crash with itMikolaj Konarski2026-03-15
generated by cgit v1.3 (git 2.53.0) at 2026-04-16 01:41:49 +0200