Did I find the right examples for you? yes no

All Samples(3)  |  Call(2)  |  Derive(0)  |  Import(1)

src/d/a/dao-HEAD/dao/tests/testeval.py   dao(Download)
  def test_letrec_odd_even(self):
    from util import n, odd, even  
    eq_(eval(letrec([(odd, lamda([n], if_(eq(n,0), 0, even(sub(n,1))))),
                    (even, lamda([n], if_(eq(n,0), 1, odd(sub(n, 1)))))],
                  odd(3))), 1)