luau-lang/rfcs
1
0
Fork 0
mirror of https://github.com/luau-lang/rfcs.git synced 2025-04-05 19:11:00 +01:00
Code Issues Projects Releases Packages Wiki Activity

Fix grammar slightly

Browse source 
Co-authored-by: Alexander McCord <11488393+alexmccord@users.noreply.github.com>
This commit is contained in:
aaron 2024-10-28 14:47:17 -07:00 • committed by GitHub
parent ba38a41ef1
commit 5da2a33380
Signed by: DevComp
GPG key ID: B5690EEEBB952194
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
docs/negation-types.md
View file

@ -20,7 +20,7 @@ We propose to allow users to write such a type. Formally:
```ebnf
ty ::= `~` ty
| name [`<` [ty] {`,` ty} `>`]
| name [`<` [ty {`,` ty}] `>`]
| ty {`|` ty}
| ty {`&` ty}
| `(` ty `)`