Public | Automated Build

Last pushed: 6 months ago
Short Description
λ-Calculus Interpreter in Haskell
Full Description

haskell-lambda-calculus

λ-Calculus Interpreter in Haskell

Setup

Requirements

  • Docker or Stack

Building

Stack

make

Docker

docker pull stilesb/lambda-calculus:latest

Notes

Program Execution

((λtrue.((λfalse.((λif.((λand.((λor.((λnot.((and (not false)) ((or true) false))) (λa.(((if a) false) true)))) (λa.(λb.(((if a) true) b))))) (λa.(λb.(((if a) b) false))))) (λcond.(λt.(λf.((cond t) f)))))) (λt.(λf.f)))) (λt.(λf.t)))
=>
(λt.(λf.t))

Code adapted from <a href="https://github.com/Hardmath123/haskell-lambda-calculus" target="_blank">here</a>.

Docker Pull Command
Owner
stilesb
Source Repository

Comments (0)