pschulam / lambda-calculus

An implementation of the pure, untyped lambda calculus

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

lambda-calculus

An implementation of the pure, untyped lambda calculus

Tokens

\ => Lambda
. => Dot
( => Lparen
) => Rparen
= => Equal
def => Define
[a-zA-Z0-9]+ => Identifier

About

An implementation of the pure, untyped lambda calculus


Languages

Language:Rust 100.0%