omega method

@override LambdaBuilder omega()

The diverging omega expression.

Implementation

@override
LambdaBuilder omega() => LambdaBuilder.applyAll([
      LambdaBuilder.abstract(
        LambdaBuilder.applyAll([
          LambdaBuilder.fromVar(name: 'w'),
          LambdaBuilder.fromVar(name: 'w'),
        ]),
        'w',
      ),
      LambdaBuilder.abstract(
        LambdaBuilder.applyAll([
          LambdaBuilder.fromVar(name: 'w'),
          LambdaBuilder.fromVar(name: 'w'),
        ]),
        'w',
      ),
    ]);