Sunbelt Computer Software

PL/B Language Development and Support

GitHub - tpreviero/lambda-calculus-evaluator: A suite to evaluate and operate on λ-calculus expressions · GitHub

Repository navigation

lambda-calculus-evaluator

Public

About

A suite to evaluate and operate on λ-calculus expressions

evaluator kotlin lambda lambda-calculus lambda-calculus-evaluator lambda-expression lambda-terms

0 stars

1 watching

Report repository

Repository files navigation

lambda-calculus-evaluator

A suite to evaluate and operate on λ-calculus expressions.

About

A suite to evaluate and operate on λ-calculus expressions

evaluator kotlin lambda lambda-calculus lambda-calculus-evaluator lambda-expression lambda-terms

0 stars

1 watching

Report repository

Releases

Packages

Used by

Contributors

Languages