Branch | Commit message | Author | Age | |
---|---|---|---|---|
experiment-with-KnownShape | Make sized ranked lists strict due to impurity evaluation order in horde-ad | Mikolaj Konarski | 21 hours | |
flesh-out-sized-lists | Try to make up for ToINat not being injective | Mikolaj Konarski | 6 days | |
master | Make index types useful for horde-ad by parameterising Int | Tom Smeding | 8 days | |
Age | Commit message | Author | ||
8 days | Make index types useful for horde-ad by parameterising IntHEADmaster | Tom Smeding | ||
9 days | GHC 9.8 compatibility | Tom Smeding | ||
9 days | Small cleanup | Tom Smeding | ||
9 days | slice | Tom Smeding | ||
9 days | toList | Tom Smeding | ||
9 days | fromList1 (the analogue to orthotope's fromList) | Tom Smeding | ||
9 days | Some cleanups | Tom Smeding | ||
9 days | fromList | Tom Smeding | ||
12 days | Add "presentation" to README | Tom Smeding | ||
12 days | Fix haddocks formatting | Tom Smeding | ||
[...] |