HigherOrderCO/Bend
1
1
Fork 0
mirror of https://github.com/HigherOrderCO/Bend.git synced 2024-09-11 11:56:54 +03:00
Code Issues Packages Projects Releases Wiki Activity
main
Bend/tests/golden_tests/compile_file/church_one.bend
Nicolas Abril e1dd23d96c Update tests to use .bend extension, fix test uite
2024-05-15 00:25:46 +02:00

1 line
63 B
Plaintext
Raw Permalink Blame History

main = (λk λs λz let {s0 s1} = s; (s0 ((k s1) z)) λq λw w)
Reference in New Issue View Git Blame Copy Permalink