Repository navigation
add exact size unfoldrN(M) #140
Description
Activity
also clarify which sized arg things are hinting vs exact for realted codes like unfoldrN
- added 2 commits that reference this issue
on Feb 2, 2020 - added a commit that references this issue
on Feb 16, 2020 - Eep, let me forward port the test suite as a pr, then let’s ff merge both? Or ff merge this one as is. Looks reasonable though I’ve not done a close reading. (I can do both tomorrow alternatively )…On Thu, Feb 27, 2020 at 9:18 PM Alexey Kuleshevich ***@***.***> wrote: @cartazio <https://github.com/cartazio> #295 <#295> implements this ticket. I am thinking on merging it and closing this ticket. Maybe there is something more you'd like to add? — You are receiving this because you were mentioned. Reply to this email directly, view it on GitHub <#140?email_source=notifications&email_token=AAABBQT6IPBRIEDO2EVETFTRFBX7DA5CNFSM4CSLSI52YY3PNVWWK3TUL52HS4DFVREXG43VMVBW63LNMVXHJKTDN5WW2ZLOORPWSZGOENGW73I#issuecomment-592277485>, or unsubscribe <https://github.com/notifications/unsubscribe-auth/AAABBQX4AMTXR4WX4EIQFWTRFBX7DANCNFSM4CSLSI5Q> .
- Also due to how this interact with our other ticket let me take some time to ask around for which semantics most users expect on some of these sized operations On Thu, Feb 27, 2020 at 9:22 PM Carter Schonwald <[email protected]> wrote:…Eep, let me forward port the test suite as a pr, then let’s ff merge both? Or ff merge this one as is. Looks reasonable though I’ve not done a close reading. (I can do both tomorrow alternatively ) On Thu, Feb 27, 2020 at 9:18 PM Alexey Kuleshevich < ***@***.***> wrote: > @cartazio <https://github.com/cartazio> #295 > <#295> implements this ticket. I > am thinking on merging it and closing this ticket. Maybe there is something > more you'd like to add? > > — > You are receiving this because you were mentioned. > Reply to this email directly, view it on GitHub > <#140?email_source=notifications&email_token=AAABBQT6IPBRIEDO2EVETFTRFBX7DA5CNFSM4CSLSI52YY3PNVWWK3TUL52HS4DFVREXG43VMVBW63LNMVXHJKTDN5WW2ZLOORPWSZGOENGW73I#issuecomment-592277485>, > or unsubscribe > <https://github.com/notifications/unsubscribe-auth/AAABBQX4AMTXR4WX4EIQFWTRFBX7DANCNFSM4CSLSI5Q> > . >
- added a commit that references this issue
on Jun 5, 2020 - added a commit that references this issue
on Jun 7, 2020 - added a commit that references this issue
on Jan 16, 2021
or something like that, plus vector level siblings
cc @dolio @davean