From 6fbd4670523f49905e4cdcb64526d1787be8df74 Mon Sep 17 00:00:00 2001
From: Justin Tan <justanhowyuan@gmail.com>
Date: Thu, 10 Jun 2021 10:04:47 +0100
Subject: [PATCH] Update solutions to Q6

E changed to Symbol
Q changed to State
---
 q6.tex | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/q6.tex b/q6.tex
index 943090d..9aeb22c 100644
--- a/q6.tex
+++ b/q6.tex
@@ -102,7 +102,7 @@
     Elem x (y ': xs) = Elem x xs
 
 type family Accepts 
-    (q :: Q) (fs :: [Q]) (w :: [E]) :: Bool where 
+    (q :: State) (fs :: [State]) (w :: [Symbol]) :: Bool where 
     Accepts q fs w = Elem (DeltaHat q w) fs
 \end{minted}
         \end{solution}
@@ -122,8 +122,8 @@
         \begin{solution}
             \emph{Application.} 
 \begin{minted}{haskell}
-class ReifySymbol (q :: E) where 
-    reifySymbol :: SProxy q -> E
+class ReifySymbol (q :: Symbol) where 
+    reifySymbol :: SProxy q -> Symbol
 
 instance ReifySymbol ZERO where 
     reifySymbol _ = ZERO