Domů Procházet Nápověda
Přihlásit se
caryoscelus
/
agda
Sledovat 1
Oblíbit 0
Rozštěpit 0
Soubory Úkoly 0 Pull Requesty 0 Wiki
Větev: js_amd_patch
Větve Značky

Historie revizí

Autor SHA1 Zpráva Datum
  Jesper Cockx 94afdea0bb [ re #4390 ] Updated test cases před 4 roky
  Andreas Abel d2c23f2327 [ #4168 #4185 ] uncurry meta for erased record argument even with erased fields před 5 roky
  Andreas Abel 5166a416e1 [ fixed #4168 (b) ] no uncurrying of metas over records with erased fields před 5 roky