[Added a Pretty instance for Subst
tobias@goedderz.info**20150312143558
 Ignore-this: f52cf7e0215c5d33f6ada9d13295e128
] hunk ./src/Syntax/Ppr.hs 19
+import Syntax.Class.Subst
hunk ./src/Syntax/Ppr.hs 52
-    
+
+instance Pretty t => Pretty (Subst t) where
+    pretty = encloseSep lbrace rbrace comma
+             . map (\(k, v) -> pretty k <+> text "<~" <+> pretty v)
+             . assocs
+