Reset quotation settings after changing them.

[matthijs/master-project/report.git] / pret-lam.lua

diff --git a/pret-lam.lua b/pret-lam.lua
index 98244b0f421c5fe421ccb0578fec2ff1764d8612..568da7f565fbe7f28f7f63bf2f6986924baa418b 100644 (file)
--- a/pret-lam.lua
+++ b/pret-lam.lua
@@ -23,7 +23,7 @@ local symbols = {
     -- The default * sits very high above the baseline, \ast (u+2217) looks
     -- better.
     ['*'] = {repr = '\\ast'},
-    ['~'] = {repr = '\\sim'},
+    ['~'] = {repr = '\\HDLine[width=.20 * \\the\\textwidth]'},
     ['|'] = {repr = '\\char' .. utf.byte('|')},
 }
 
@@ -32,6 +32,8 @@ local keywords = {
     ['case'] = {},
     ['of'] = {},
     ['let'] = {},
+    ['letrec'] = {},
+    ['letnonrec'] = {},
     ['in'] = {},
 }