wiki pages for combinator-formal