User defined pipe and redirection operators: Difference between revisions
User defined pipe and redirection operators (view source)
Revision as of 05:37, 14 March 2021
, 3 years ago→{{header|Julia}}
Line 691:
head("List_of_computer_scientists.lst", 4, commonoutchan)
cat("List_of_computer_scientists.lst") |> grep("ALGOL") |> tee("Algol_pioneers.lst", commonoutchan)
|