Repo for random little odds and ends of Agda code that use. Maybe it's silly to have a repo for this, but it beats having it in random directories that I have to try and sync up.