Giters

purescript / purescript-catenable-lists

Catenable lists

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Double-end CatQueue?

AlexMouton opened this issue · comments

commented

Hi Guys
Just wondering if you've considered adding double endedness to CatQueue?
I see the papers mention it as a dequeue, and @MonoidMusician speculated it was absent just for time?

Thanks
Alex

commented

Just saw that this went in! Thanks @matthewleon