Illustration dessinée par RepoMasters à partir de l’identifiant du dépôt et de la couleur de son langage. Crédits
PrototypeCommune

ljedrz/lambda_calculus

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

Propriétaire
ljedrz (compte personnel)
Étoiles
Étoiles : 141
Forks
Forks : 15
Langage
Rust
Licence
CC0-1.0
Création
2017
Sujets
lambda-calculusrust-librarychurch-encodingrustlambda-expressionslambda-functionslambda-interpreterbeta-reductionski-combinatorsreduction-strategies
Rang
Prototype (100 à 249 ★) Ce que veut dire ce rang
Voir sur GitHub

D’autres dépôts Rust

Tous les dépôts Rust