parigot-encoding

There are 0 repository under parigot-encoding topic.

ljedrz / lambda_calculus
A simple, zero-dependency implementation of the untyped lambda calculus in Safe Rust
lambda-calculus rust-library church-encoding rust lambda-expressions lambda-functions lambda-interpreter beta-reduction ski-combinators reduction-strategies combinatory-logic debruijn parigot-encoding scott-encoding embedded-iterators-encoding stump-fu-encoding
Language:Rust 99