diff options
author | Albert Krewinkel <albert@zeitkraut.de> | 2020-01-12 11:22:20 +0100 |
---|---|---|
committer | Albert Krewinkel <albert@zeitkraut.de> | 2020-01-12 11:29:05 +0100 |
commit | 11e99409cec24749df5dabeb4dca96c084ddbc75 (patch) | |
tree | ef66d6a5498302e3e9bbff343364e875ba58b6d5 /src/Text/Pandoc/Writers/Haddock.hs | |
parent | 6fd3d546a2f72cc75d9d1968b7f672b7b6dfb9a3 (diff) | |
download | pandoc-11e99409cec24749df5dabeb4dca96c084ddbc75.tar.gz |
docs: capitalize Lua where it refers to the programming language name
This follows the advise on the Lua
website (https://www.lua.org/about.html#name):
> […] "Lua" is a name, the name of the Earth's moon and the name of the
> language. Like most names, it should be written in lower case with an
> initial capital, that is, "Lua".
Diffstat (limited to 'src/Text/Pandoc/Writers/Haddock.hs')
0 files changed, 0 insertions, 0 deletions