@@ -65,9 +65,10 @@ data Command
66help :: [[String]]
66help :: [[String]]
68− [ [":? ", "Show this help menu"]
68+ [ [":? ", "Show this help menu"]
69− , [":i <module>", "Import <module> for use in PSCI"]
69+ , [":i <module> ", "Import <module> for use in PSCI"]
70− , [":m <file> ", "Load <file> for importing"]
70+ , [":m <file> ", "Load <file> for importing"]
71− , [":q ", "Quit PSCi"]
71+ , [":q ", "Quit PSCi"]
72− , [":r ", "Reload all modules."]
72+ , [":r ", "Reload all modules"]
73+ , [":t <expr> ", "Show the type of <expr>"]