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
Větve Značky

Historie revizí

Autor SHA1 Zpráva Datum
  Nils Anders Danielsson edd8334381 [ #5427 ] Removed support for subtyping for erasure and irrelevance. před 3 roky
  Jesper Cockx bbfad440cf [ re #4390 #4474 ] Changelog + user manual for --subtyping/--no-subtyping před 4 roky
  Andrés Sicard-Ramírez fcf06b491a [ closed #4301 ] Documented the `--no-flat-split` pragma option. před 5 roky
  Guillaume Allais c6ee47fc58 [ fix ] examples in user manual for flat před 5 roky
  Andrea Vezzosi 3b4121d35a [ doc flat ] Flat modality documentation. před 5 roky