Quick Guide To Editing Type Checking And Compiling Agda Code-Talk