258 karma · joined July 18, 2015
You can find me at:
Instructions:
https://github.com/w3c-fedid/idp-registration/issues/2#issue...
[1] https://github.com/google/typograms/commit/4270c0ad387a2b500...
Does that help?
https://github.com/google/typograms/commit/bdd329eaec7497b96...
https://news.ycombinator.com/item?id=32133345
Now, officially open sourced:
https://code.sgo.to/2021/07/02/english--.html https://code.sgo.to/2020/08/31/syntactic-theory.html https://code.sgo.to/2020/09/16/semantics.html
[1] https://github.com/fedidcg/FedCM/blob/main/meetings/2021/Web...
https://github.com/samuelgoto/typograms/commit/40829f6db1a21...
You are welcome to send PRs if you have the inclination!
[1] https://github.com/mermaid-js/mermaid [2] https://code.sgo.to/typograms/#related
On "may be like an IETF proposal."", that's precisely where I've been using them the most :)
https://fedidcg.github.io/FedCM
Not for everybody, I agree, but it is kinda of ironic that you mentioned "may be like an IETF proposal." :)
Also, technical blog posts, e.g.
https://code.sgo.to/2022/04/11/metamath.html https://code.sgo.to/2022/04/28/siop.html
"Why is it better to write diagrams by hand rather than use a tool (e.g. inkscape, google docs) and export as SVG?
Because it requires everybody that wants to edit the diagram to (a) use the same tool and (b) have access to the original source file (e.g. the google doc)."