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ä
  Andreas Abel 2f4f19bc49 Modified semantics of 'open import M args' such that M does not get added to the scope. 12 vuotta sitten
  Andreas Abel 240a09d524 Parse 'open import Module args using/hiding/renaming'. 12 vuotta sitten