Skip to content

Allow stacking of layout keywords on same line #354

New issue
New issue
Closed
Closed
Allow stacking of layout keywords on same line#354
Assignees
andreasabel
Labels
enhancementlayoutConcerning layout (keywords)
Milestone
2.9.2
@andreasabel

Description

@andreasabel
andreasabel
opened on Apr 10, 2021

This is agda/agda#1145.

Metadata

Metadata

Assignees

Labels

enhancementlayoutConcerning layout (keywords)

Type

No type

Projects

No projects

Milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions