GitHub - nick8325/puzzle: The Church numerals puzzle from the FP winter meeting.

nick8325 / puzzle Public

Notifications You must be signed in to change notification settings
Fork 1
Star 3

The Church numerals puzzle from the FP winter meeting.

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 6 Commits
Lambda.hs		Lambda.hs
README		README
Strings.hs		Strings.hs
Terms.hs		Terms.hs
challenge		challenge
testcase1		testcase1
testcase2		testcase2
testcase3		testcase3
testcase4		testcase4
testcase5		testcase5

Repository files navigation

Help Koen evaluate his Church numerals!

This repository contains the following files, which may help you:
  * testcase1..testcase5: the individual test cases.
  * challenge: the challenge problem.
  * Lambda.hs: a parser and pretty-printer for lambda calculus terms.
  * Terms.hs: the test cases and challenge problem as Haskell expressions.
  * Strings.hs: the test cases and challenge problem as Haskell strings.

Good luck!