Komit Sejarah

Pembuat SHA1 Pesan Tanggal
  Andrés Sicard-Ramírez dcd3b453cb [ fix-agda-whithespace ] Added .agda, .cabal and .md files. 10 tahun lalu
  Nils Anders Danielsson c5b859575b Horizontal tab characters are no longer treated as white space. 15 tahun lalu
  ulfn 0eb15ccd13 benchmarking 17 tahun lalu