moving agda source file under post