Fix up glossary

Use \renewcommand*{\glstextformat}... once instead of \sl everywhere.

Author: yurrriq

src/book.tex

@@ -37,6 +37,7 @@
 - \usepackage[xindy]{glossaries}
 - \makeglossaries
 - \input{glossary}
+- \renewcommand*{\glstextformat}[1]{\textsl{#1}}
 -
 - \usepackage{todonotes}
 include-before: \frontmatter

src/glossary.tex

@@ -1,49 +1,46 @@
 \newglossaryentry{algebraic data type}
 {
-  name=\sl{algebraic data type},
-  description={\todo{define}},
-  % plural={algebraic data types},
-  sort={algebraic data type}
+  name={algebraic data type},
+  description={\todo{define}}
 }
 
 \newglossaryentry{computation rule}
 {
-  name=\sl{computation rule},
-  description={\todo{define}},
-  % plural={computation rules},
-  sort={computation rule}
+  name={computation rule},
+  description={\todo{define}}
 }
 
 \newglossaryentry{expression}
 {
-  name=\sl{expression},
-  description={\todo{define}},
-  % plural={expressions},
-  sort={expression}
+  name={expression},
+  description={\todo{define}}
 }
 
 \newglossaryentry{first-class}
 {
-  name=\sl{first-class},
-  description={\todo{define}},
-  sort={first-class}
+  name={first-class},
+  description={\todo{define}}
 }
 
 \newglossaryentry{fully certified}
 {
-  name=\sl{fully certified},
-  description={\todo{define}},
-  sort={fully certified}
+  name={fully certified},
+  description={\todo{define}}
 }
 
 \newglossaryentry{function type}
 {
-  name=\sl{function type},
-  description={\todo{define}},
-  % plural={function types},
-  sort={function type}
+  name={function type},
+  description={\todo{define}}
 }
 
+\newglossaryentry{functional programming}
+{
+  name={function programming},
+  description={\todo{define}}
+}
+
+
 \longnewglossaryentry{idris-add-clause}{
   name=\el{idris-add-clause},
   sort={idris-add-clause}
@@ -90,46 +87,44 @@
 
 \newglossaryentry{induction}
 {
-  name=\sl{induction},
-  description={\todo{define}},
-  sort={induction}
+  name={induction},
+  description={\todo{define}}
 }
 
 \newglossaryentry{inductive rule}
 {
-  name=\sl{inductive rule},
-  description={\todo{define}},
-  % plural={inductive rules},
-  sort={inductive rule}
+  name={inductive rule},
+  description={\todo{define}}
 }
 
 \newglossaryentry{module system}
 {
-  name=\sl{module system},
-  description={\todo{define}},
-  sort={module system}
+  name={module system},
+  description={\todo{define}}
 }
 
 \newglossaryentry{pattern matching}
 {
-  name=\sl{pattern matching},
-  description={\todo{define}},
-  sort={pattern matching}
+  name={pattern matching},
+  description={\todo{define}}
 }
 
 \newglossaryentry{polymorphic type system}
 {
-  name=\sl{polymorphic type system},
-  description={\todo{define}},
-  % plural={polymorphic type systems},
-  sort={pattern matching}
+  name={polymorphic type system},
+  description={\todo{define}}
+}
+
+\newglossaryentry{proof assistant}
+{
+  name={proof assistant},
+  description={\todo{define}}
 }
 
 \newglossaryentry{structural recursion}
 {
-  name=\sl{structural recursion},
-  description={\todo{define}},
-  sort={structural recursion}
+  name={structural recursion},
+  description={\todo{define}}
 }
 
 \newglossaryentry{syntax}
@@ -141,24 +136,24 @@
 
 \newglossaryentry{tactic}
 {
-  name=\sl{tactic},
-  description={\todo{define}},
-  % plural={tactics},
-  sort={tactic}
+  name={tactic},
+  description={\todo{define}}
 }
 
 \newglossaryentry{type}
 {
-  name=\sl{type},
-  description={\todo{define}},
-  % plural={type},
-  sort={type}
+  name={type},
+  description={\todo{define}}
+}
+
+\newglossaryentry{type system}
+{
+  name={type system},
+  description={\todo{define}}
 }
 
 \newglossaryentry{wildcard pattern}
 {
-  name=\sl{wildcard pattern},
-  description={\todo{define}},
-  % plural={wildcard patterns},
-  sort={wildcard pattern}
+  name={wildcard pattern},
+  description={\todo{define}}
 }