Skip to content

Wingman agda-split transforms infix into prefix #1610

Closed
@isovector

Description

@isovector

Trying to split ma >>= f = _ results in matches of the form (>>=) Foo f = _

Metadata

Metadata

Assignees

No one assigned

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions