[Ur] Should we have contributor guidelines for the Ur/Web project?

[Adam Chlipala]

An old-ish GitHub issue <https://github.com/urweb/urweb/issues/102> asks 
for posting of clear guidelines for new contributors.  What does 
everyone think about whether that makes sense?  I feel like there have 
been quite a few successful contributors already without such 
guidelines, but who knows which others are being turned away.

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.impredicative.com/pipermail/ur/attachments/20181019/049adb16/attachment.html>