aboutsummaryrefslogtreecommitdiffhomepage
path: root/std/List.bruijn
blob: c8092fee9a2384b1ba9ad308fa5fc94b27ef9fda (plain) (blame)
1
2
3
4
# MIT License, Copyright (c) 2024 Marvin Borner
# this is just a reference to the Church implementation

:input std/List/Church