A simple GUI wrapper for Agda