Combinator LogicCompose or reduce expressions by dragging terms on others. Click a term to simplify it, or to undo a composition. [Fullscreen]Keys[+] - more S, K and I.[r] - reorder randomly CombinatorsK x y -> xS f g x -> f x (g x) I x -> x B = S (K S) K C = S (B B S) (K K) PS: You can copy expressions by dropping them on the clone tool. You can also enter expressions directly on the keyboard. |