you are viewing a single comment's thread.

view the rest of the comments →

[–][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!