Removed date from paper, added link to Github for Agda code.