Closed GoogleCodeExporter closed 9 years ago
Example: x = a('x') nonhalting = fwd() nonhalting.define(maybe(x) + nonhalting + x) assert non_halting(nonhalting)
Original issue reported on code.google.com by andrey.vlasovskikh on 26 May 2011 at 11:13
andrey.vlasovskikh
Fixed in [89f89e794af2].
Original comment by andrey.vlasovskikh on 26 May 2011 at 11:47
Original issue reported on code.google.com by
andrey.vlasovskikh
on 26 May 2011 at 11:13