Hello all, Is it possible to extend Ur/Web with arrays and maps? It would be really useful, I guess.
For the time being, Aistis put together a JS-only solution: https://github.com/sheganinans/js_map The downside is that this solution exploits some implementation details of the Ur/Web JS virtual machine (e.g. the fact that all Ur functions are in a curried form). -- Cheers, Artyom Shalkhakov _______________________________________________ Ur mailing list [email protected] http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
