update the Agda wiki and correct typo in new para