OK, I've added a link.
P.S.: I (and probably others on the list) would be interested to learn
more about the commercial applications where you've been using Ur/Web.
Especially nifty would be if any of them are public and can be linked
from the Ur/Web users page.
On 06/17/2016 09:09 AM, [email protected] wrote:
On Fri, 17 Jun 2016 08:41:39 -0400
Adam Chlipala <[email protected]> wrote:
OK. Should I wait until then to add a link from the Ur project front
page? If you think it will be pretty quick, then that seems like the
easiest path.
Certainly [1] could be mentioned in the meantime, that is an up to date
repository with Ur/Web and MLton ports which are known to work. Both
ports have been used for commercial development with several last
releases of OpenBSD and also OpenBSD-current.
[1]: https://github.com/extensibl/ports/
I would be really happy for someone to help with testing and review of
the ports. That might also make it easier to get them included into the
main OpenBSD ports repository.
_______________________________________________
Ur mailing list
[email protected]
http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
