Domů Procházet Nápověda
Přihlásit se
caryoscelus
/
chunks-of-agda
Sledovat 1
Oblíbit 0
Rozštěpit 0
Soubory Úkoly 0 Pull Requesty 0 Wiki
Strom: 6cdf3a238e
Větve Značky
chunks-of-agda
/
.agda-lib

.agda-lib 33 B
Historie Surový

12 
  1. depend: standard-library cubical
    2. 

  2.