mirror of
https://github.com/Jaxan/nominal-lstar.git
synced 2025-04-26 22:27:46 +02:00
5 lines
119 B
YAML
5 lines
119 B
YAML
indentation: 4
|
|
haddock-style: single-line
|
|
single-constraint-parens: auto
|
|
single-deriving-parens: auto
|
|
respectful: true
|