[Ur] Ur/Web (and MLton) on OpenBSD

[Adam Chlipala]

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, ml at extensibl.com wrote:
> On Fri, 17 Jun 2016 08:41:39 -0400
> Adam Chlipala <adamc at csail.mit.edu> 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.