#

embedded-iterators-encoding

Here is 1 public repository matching this topic...

ljedrz / lambda_calculus

A simple, zero-dependency implementation of the untyped lambda calculus in Safe Rust

rust lambda-functions lambda-calculus combinatory-logic church-encoding lambda-expressions lambda-interpreter rust-library debruijn ski-combinators beta-reduction reduction-strategies parigot-encoding scott-encoding embedded-iterators-encoding stump-fu-encoding

Updated Sep 20, 2023
Rust

Improve this page

Add a description, image, and links to the embedded-iterators-encoding topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the embedded-iterators-encoding topic, visit your repo's landing page and select "manage topics."