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