aboutsummaryrefslogtreecommitdiffhomepage
path: root/std/Church.bruijn
blob: 412938a3c8314091dccf5920356180ba5ddbda17 (plain) (blame)
1
2
3
4
5
6
7
# MIT License, Copyright (c) 2022 Marvin Borner

zero [[0]]
succ [[[1 (2 1 0)]]]
add [[[[3 1 (2 1 0)]]]]
mul [[[2 (1 0)]]]
exp [[0 1]]