Etusivu Tutki Apua
Kirjaudu sisään
caryoscelus
/
agda
Tarkkaile 1
Äänestä 0
Fork 0
Tiedostot Ongelmat 0 Pull-pyynnöt 0 Wiki
Branch: js_amd_patch
Branchit Tagit

Commitin historia

Tekijä SHA1 Viesti Päivämäärä
  Andrés Sicard-Ramírez dcd3b453cb [ fix-agda-whithespace ] Added .agda, .cabal and .md files. 10 vuotta sitten
  Nils Anders Danielsson c5b859575b Horizontal tab characters are no longer treated as white space. 15 vuotta sitten
  ulfn 0eb15ccd13 benchmarking 17 vuotta sitten