Files
Thun/joy
Simon Forman f58f3b9959 Definition of ii combinator.
ii == [dip] dupdip i

         a [F] ii
      --------------
          F a F
2019-11-07 07:53:21 -08:00
..
2019-08-03 19:02:24 -07:00
2018-08-24 16:48:15 -07:00
2019-05-07 17:45:39 -07:00
2018-04-21 21:26:41 -07:00
2018-11-28 13:00:03 -08:00
2019-11-07 07:53:21 -08:00
2018-04-30 10:16:04 -07:00