Sākums Izpētīt Palīdzība
Pierakstīties
caryoscelus
/
agda
Vērot 1
Pievienot zvaigznīti 0
Atdalīts 0
Faili Problēmas 0 Izmaiņu pieprasījumi 0 Vikivietne
Atzars: js_amd_patch
Atzari Tagi

Revīziju vēsture

Autors SHA1 Ziņojums Datums
  Andrés Sicard-Ramírez dcd3b453cb [ fix-agda-whithespace ] Added .agda, .cabal and .md files. 10 gadi atpakaļ
  Nils Anders Danielsson c5b859575b Horizontal tab characters are no longer treated as white space. 15 gadi atpakaļ
  ulfn 0eb15ccd13 benchmarking 17 gadi atpakaļ