GitHub - DarK-rtfm/lambdapp: Lambda calculus with Church encoding implemented in C++ · GitHub

Repository navigation

lambdapp

Public

About

Lambda calculus with Church encoding implemented in C++

1 star

0 watching

Report repository

Name		Name	Last commit message	Last commit date
.gitignore		.gitignore
Makefile		Makefile
boolean.hh		boolean.hh
combinator.hh		combinator.hh
lambda.hh		lambda.hh
lambda_macros.hpp		lambda_macros.hpp
list.hh		list.hh
main.cc		main.cc
number.hh		number.hh
pair.hh		pair.hh
test.cc		test.cc

About

Lambda calculus with Church encoding implemented in C++

1 star

0 watching

Report repository

Releases

Packages

Contributors

Languages