@@ -570,7 +570,11 @@ getAll = map getTm
570570showImp :: Bool -> PTerm -> String
571571showImp impl tm = se 10 tm where
572572 se p (PQuote r) = "![" ++ show r ++ "]"
573− se p (PRef _ n) = show n
573+ se p (PRef _ n) = if impl then show n
574+ else showbasic n
575+ where showbasic n@(UN _) = show n
576+ showbasic (MN _ s) = s
577+ showbasic (NS n s) = showSep "." (reverse s) ++ "." ++ showbasic n
574578 se p (PLam n ty sc) = bracket p 2 $ "\\ " ++ show n ++ " => " ++ show sc
575579 se p (PLet n ty v sc) = bracket p 2 $ "let " ++ show n ++ " = " ++ se 10 v ++
576580 " in " ++ se 10 sc