Hacker News new | ask | show | jobs
by preseinger 1293 days ago
Er, how can you express the merge operation as a type?
1 comments
toomim 1293 days ago
See 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-...

link
preseinger 1292 days ago
> A Merge Type is a function

Er, okay, if you redefine "type" to mean "function" then sure.

link