├── Lambda.hs ├── Names.hs ├── Parsers.hs ├── README.md ├── combinators.lam ├── constants.lam └── lambda-calculus.pdf /Lambda.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/amcphail/lambda/HEAD/Lambda.hs -------------------------------------------------------------------------------- /Names.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/amcphail/lambda/HEAD/Names.hs -------------------------------------------------------------------------------- /Parsers.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/amcphail/lambda/HEAD/Parsers.hs -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/amcphail/lambda/HEAD/README.md -------------------------------------------------------------------------------- /combinators.lam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/amcphail/lambda/HEAD/combinators.lam -------------------------------------------------------------------------------- /constants.lam: -------------------------------------------------------------------------------- 1 | fail 2 | -------------------------------------------------------------------------------- /lambda-calculus.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/amcphail/lambda/HEAD/lambda-calculus.pdf --------------------------------------------------------------------------------