BUGFIX: GML formulas were wrong

randcool/randcool.hs

@@ -43,7 +43,7 @@ instance Mod K where
 newtype G = G Nat
 
 instance Mod G where
-  showDia (G n) = showString "{>"  . shows n . showString " r}"
+  showDia (G n) = showString "{>= "  . shows n . showString " r}"
   showBox (G n) = showString "{<= " . shows n . showString " r}"