gustavderdrache/lambda-templates
An abusive lambda calculus evaluator written entirely in C++ templates
Discovered public repositories for gustavderdrache in the GitHub catalog.
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
A Prolog-based lambda calculus evaluator