Thanks! 2015-08-09 15:17 GMT+03:00 Gabriel Riba <[email protected]>: > Should you need to add to the bottom of the list, > > you can now with a functional double ended queue > implemented as a split list with the suffix reversed. > > https://github.com/griba2001/urweb-dequeue > > > > _______________________________________________ > Ur mailing list > [email protected] > http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
_______________________________________________ Ur mailing list [email protected] http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
