Wikidiffcom vs Supercombinator - What's the difference?
wikidiffcom | supercombinator |
(label) A mathematical expression which is fully bound and self-contained. It may be either a constant or a combinator where all the subexpressions are supercombinators.
