7) Predicate composition

This feature is a work in progress

Predicates can be composed with each other in more elaborate ways using the angled brackets ⟨…⟩.

Predicate compositions are considered to be user defined predicates (like {…}) and are numeroted as such.

Compositions can contain other compositions.

⟨abc⟩ - Forks

Forks are compositions of 3 predicates a, b and c. It gets translated as such:

⟨abc⟩   ->   {aI&cJ∧I;Jb}

Example usage: average of a list of integers

⟨+/l⟩