John MacFarlane d95befac55 Add custom extensions. ...

T.P.Extensions [API change]:

+ Add CustomExtension constructor to Extension.
+ Remove Bounded, Enum instances for Extension.
+ Add `extensionsToList` function.
+ Revise `readExtension` so it can handle CustomExtension, and so
  that it returns a Text rather than Maybe Text.
+ Add `showExtension`.

T.P.Format:

+ Revise error checking to handle CustomExtension.

2022-10-20 10:15:30 -07:00

..

Lua

Add custom extensions.

2022-10-20 10:15:30 -07:00

Lua.hs

…