bool :impl ( bool $p , bool $q )
bool :-> ( bool $p , bool $q )

Results the result of boolean formula p → q.

# :impl example.
!if :impl lTRUE lfalse
    :writeln s"I think something's wrong..."
!else
    :writeln s"Boolean logic in awful seems to work fine."
!fi