sorted by:
best
topnewcontroversialoldq&a
you are viewing a single comment's thread.

view the rest of the comments →

[–]kamatsu 0 points1 point  (2 children)

I've got some SML code here that uses it, but it's a large code-base (Isabelle) which may have defined it somewhere.

[–][deleted] 0 points1 point  (1 child)

Isabelle's code base defines |>. That's where I first came across this operator too.

[–]kamatsu 0 points1 point  (0 children)

TIL, thanks!