Definition of ii combinator.

ii == [dip] dupdip i

         a [F] ii
      --------------
          F a F
This commit is contained in:
Simon Forman 2019-11-07 07:53:21 -08:00
parent 99f9534a10
commit f58f3b9959
1 changed files with 1 additions and 0 deletions

View File

@ -206,6 +206,7 @@ def yin_functions():
definitions = ('''\
ii == [dip] dupdip i
of == swap at
product == 1 swap [*] step
flatten == [] swap [concat] step