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
Branchit Tagit
agda
/
examples
/
uptodate
/
A.agda

A.agda 34 B
Pysyvä linkki Historia Raaka

12345 
  1. module A where
    2. 

  2. 

  3. import B
    4. 

  4. import C
    5. 

  5.