F functional.christmas Schönfinkelisation and Partial Application 11 points kvalle 7 years ago 2 comments
