Историја ревизија

Аутор SHA1 Порука Датум
  Nils Anders Danielsson 92e00abddf [ bench ] Fixed operator fixity bug. пре 9 година
  Andrés Sicard-Ramírez dcd3b453cb [ fix-agda-whithespace ] Added .agda, .cabal and .md files. пре 10 година
  ulfn 0eb15ccd13 benchmarking пре 17 година