Agda ~~~> Interactive ~~~> Panel
non-stop parser