c***@gmail.com
2016-06-17 02:17:55 UTC
I guess the question we have to ask is: what criterion, rigorous or not, determines admission to the glossary?
Also, it's a rather odd glossary in that it's organized topically instead of alphabetically.
I guess I'm just seeking the vision for this document. Anyone? I didn't create it so it can't be my vision...
Sent from my iPhone
Also, it's a rather odd glossary in that it's organized topically instead of alphabetically.
I guess I'm just seeking the vision for this document. Anyone? I didn't create it so it can't be my vision...
Sent from my iPhone
Perfect, I've pulled your changes and updated urbit/docs#34.
There's a handful of other terms I'd like to get in (alias, bridge, vase, etc.), but those are probably best handled in separate PRs to urbit/docs. This has already been a pretty convoluted effort.
Anyway, I'll make those arguments in more detail separately.
â
You are receiving this because you were mentioned.
Reply to this email directly, view it on GitHub, or mute the thread.
There's a handful of other terms I'd like to get in (alias, bridge, vase, etc.), but those are probably best handled in separate PRs to urbit/docs. This has already been a pretty convoluted effort.
Anyway, I'll make those arguments in more detail separately.
â
You are receiving this because you were mentioned.
Reply to this email directly, view it on GitHub, or mute the thread.
--
You received this message because you are subscribed to the Google Groups "urbit" group.
To unsubscribe from this group and stop receiving emails from it, send an email to urbit-dev+***@googlegroups.com.
To post to this group, send email to urbit-***@googlegroups.com.
For more options, visit https://groups.google.com/d/optout.
You received this message because you are subscribed to the Google Groups "urbit" group.
To unsubscribe from this group and stop receiving emails from it, send an email to urbit-dev+***@googlegroups.com.
To post to this group, send email to urbit-***@googlegroups.com.
For more options, visit https://groups.google.com/d/optout.