This is a miscellany of Agda code, mostly achieving various algebraic tasks.

Contributors (as of 11th February 2012):
  James Cranch
  Simon Foster
  Neil Strickland