Check application #14

Open

Labels

opened

As title.
http://hackage.haskell.org/package/Agda-2.5.4/docs/src/Agda.TypeChecking.Rules.Application.html#checkApplication

Metadata

Assignees

No one assigned

Labels

Type

No type

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests