peberlein

Results 1 repositories owned by peberlein

c_lambda_calculus

25
Stars
1
Forks
Watchers

Lambda calculus with Church encoding in C

verified publisher icon peberlein