[Ur] new dequeue library

[Sergey Mironov]

Thanks!

2015-08-09 15:17 GMT+03:00 Gabriel Riba <gabriel at xarxaire.com>:
> 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
> Ur at impredicative.com
> http://www.impredicative.com/cgi-bin/mailman/listinfo/ur