Branch | Commit message | Author | Age |
exper-hs-numops | Benchmark with haskell num ops via mutable vectors | Tom Smeding | 8 months |
exper-invperm-proof | Try write correct inverse permutation function (incomplete) | Tom Smeding | 7 months |
experiment-with-KnownShape | Make also the sized shaped lists strict due to impurity in horde-ad | Mikolaj Konarski | 8 months |
flesh-out-sized-lists | Try to make up for ToINat not being injective | Mikolaj Konarski | 9 months |
master | Fix slice type | Tom Smeding | 8 months |
singletons | Export IShX from Nested | Mikolaj Konarski | 22 hours |
|
Tag | Download | Author | Age |
last-with-inat | commit 77ab86ede9... | Tom Smeding | 8 months |
|
Age | Commit message | Author |
2024-05-17 | Fix slice typeHEADmaster | Tom Smeding |
2024-05-17 | PermutePrefix abbreviation | Tom Smeding |
2024-05-16 | Convert arrays <-> XArray | Tom Smeding |
2024-05-16 | Fix transpose | Tom Smeding |
2024-05-15 | WIP stranspose type | Tom Smeding |
2024-05-15 | Consistently n + 1 | Tom Smeding |
2024-05-15 | The code compiles with only GHC nats | Tom Smeding |
2024-05-14 | WIP GHC nats | Tom Smeding |
2024-05-14 | reshapelast-with-inat | Tom Smeding |
2024-05-14 | rev1 | Tom Smeding |
[...] |