Check codata declarations #16

Open

Assignees

Labels

opened

As title.
http://hackage.haskell.org/package/Agda-2.5.4/docs/Agda-TypeChecking-Rules-Record.html

Metadata

Assignees

ice1000

Labels

Type

No type

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests