Skip to content

@ that makes implicit arguments explicit #637

@fpvandoorn

Description

@fpvandoorn

What question should the reference manual answer?

What does @ mean in @List.nil Nat?

Additional context

It might be there, but I couldn't find it. If it is there, the request is to make it more findable:

  • When searching for @, it currently doesn't show this usage of @
  • I also couldn't find it in sections 10.1-10.4, where I would have expected to find it.

Metadata

Metadata

Assignees

No one assigned

    Labels

    doc-requestRequest for missing documenation

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions