Re: [Ur] Any interest in bringing up a platform for virtual conferences?

On 3/30/20 2:23 AM, Urs Wegmann wrote: I tried to install the demo and failed so far. Is there any advice on how to install libraries? Do I need to build them first or can I just download and copy to a certain directory? I was inspired to add build instructions including all unusual

Re: [Ur] Any interest in bringing up a platform for virtual conferences?

Hi Adam I like the Idea of using Ur to help with the current crisis. However, I don't think that I am fluent enough with the language yet to be of much help. I tried to install the demo and failed so far. Is there any advice on how to install libraries? Do I need to build them first or can I

Re: [Ur] Any interest in bringing up a platform for virtual conferences?

I'm glad to see the interest from Daniel and Simon!  Here's my latest demo application , which also uses the Ur/Web World library for Google and Zoom integration, plus the Mail library

Re: [Ur] Any interest in bringing up a platform for virtual conferences?

I'm also interested. I've been thinking about video conf and recordings for my music school application (www.classy.school), and it's just a really good thing to have integrated into any app. So I'd be interested in doing some work for it. (How much is always the issue of course... Especially now

Re: [Ur] Any interest in bringing up a platform for virtual conferences?

I'm interested. I haven't used Urweb but I love standard ML, so my contributions would be perhaps less immediate as others more familiar with the codebase On Fri, Mar 20, 2020 at 5:47 PM Adam Chlipala wrote: > Some of you may remember the Ur/Web People Organizer (UPO) library >

[Ur] Any interest in bringing up a platform for virtual conferences?

Some of you may remember the Ur/Web People Organizer (UPO) library that I've mentioned a few times.  It's an Ur/Web component library for rapid creation of applications to organize people -- a pretty broad remit.  It uses a lot of metaprogramming to write your