4 ms·

See https://raw.githubusercontent.com/braid-org/braid-spec/master/draft-toomim-httpbis-merge-types-00.txt https://raw.githubusercontent.com/braid-org/braid-spec

by toomim 4y ago

See https://raw.githubusercontent.com/braid-org/braid-spec/master/draft-toomim-httpbis-merge-types-00.txt https://raw.githubusercontent.com/braid-org/braid-spec/maste... And for a more intuitive explanation, this might help: https://braid.org/demo/interact#a-merge-type-defines-how-to-flatten-bubbles-in-space https://braid.org/demo/interact#a-merge-type-defines-how-to-...

preseinger 4y ago
> A Merge Type is a function Er, okay, if you redefine "type" to mean "function" then sure.