[Ur] Function `queryL1` returns type `transaction (list $fs)` - How can I get the `list $fs` part and pass it to `List.mapX` - which expects type `list`?

Stefan Scott Alexander stefanscottalexx at gmail.com
Mon Jul 20 15:21:41 EDT 2015


Hi Julian -

Thank you for mentioning the #ur channel on freenode, I will try that.

- Stefan Scott
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.impredicative.com/pipermail/ur/attachments/20150720/97f053ba/attachment.html>


More information about the Ur mailing list