keeping up with wiki
Slight update in README, keep up with agda subm