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
