diff options
author | Adrian Sieber <36796532+ad-si@users.noreply.github.com> | 2022-01-03 16:10:24 +0000 |
---|---|---|
committer | GitHub <noreply@github.com> | 2022-01-04 00:10:24 +0800 |
commit | 4a7b5fa3b61a0e45d4c0cdd4c487166be5166141 (patch) | |
tree | c8f0d8465c81759408fae07d4e9efb40f9d6bfab /purescript.html.markdown | |
parent | 625f149739623407847752acd414ae7bc9ba8367 (diff) |
Fix capitalization of PureScript (#4183)
Diffstat (limited to 'purescript.html.markdown')
-rw-r--r-- | purescript.html.markdown | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/purescript.html.markdown b/purescript.html.markdown index c848c2a4..8cf1c1dd 100644 --- a/purescript.html.markdown +++ b/purescript.html.markdown @@ -1,5 +1,5 @@ --- -language: purescript +language: PureScript filename: purescript.purs contributors: - ["Fredrik Dyrkell", "http://www.lexicallyscoped.com"] |