Perform computation using purely abstract λ-functions. Included implementations:
- Bird combinators
- Church numerals
- Boolean
AND,OR,NOT,succ,pred,add,mult,exp
This repository has been archived by the owner on Jul 9, 2024. It is now read-only.