GitHub repository: loophp/church-encoding
Primary language: PHP
Description: Church encoding in PHP