On Web Sites for LETS Schemes and DAOs
See Local exchange trading system and the Law Commission of England & Wales scoping paper Decentralised autonomous organisations (DAOs) . Here's the grammar of grammars: RULES <- RULE | RULE ?ws? RULES RULE <- SYM ?ws? '<-' ?ws? SYMSLIST SYMSLIST <- SYMS | SYMS ?ws? '|' ?ws? SYMSLIST SYMS <- SYM | SYM ?ws? SYMS SYM <- '"' ?notdquote? '"' | "'" ?notsquote? "'" | ?AZs? | '?' ?azAZs? '?' When I talk about ALT, SEQ etc. I mean that a grammar is a list of RULE s, each of which defines a SYM (short for symbol ) as an alternation or a sequence of symbols, represented respectively in the grammar by a vertical bar or juxtaposition . Here alternations are sums and sequences are products in a Cartesian Closed Category. See Philip Wadler - Propositions as Types and make sure you listen to this talk he gave at Strange Loop in September 2018: Here's my response to an X call...