Data

Tools

Indexes

Applications

Experiments

Repos

An open API service providing repository metadata for many open source software ecosystems.

GitHub topics: embedded-iterators-encoding

ljedrz/lambda_calculus

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

Language: Rust - Size: 650 KB - Last synced at: about 1 month ago - Pushed at: 2 months ago - Stars: 126 - Forks: 13

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