moving my agda source to Agda section of open notebook