Display information about typechecking
Display information about typechecking

Fixes that the panel probably has not been attached yet when
typechecking as the first action

idris-hackers/atom-language-idris