gustavderdrache/lambda-templates
An abusive lambda calculus evaluator written entirely in C++ templates
A Prolog-based lambda calculus evaluator
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
An abusive lambda calculus evaluator written entirely in C++ templates
Scroll smooth to any element in your DOM.
if you like to talk math, this is the system for you