Strona główna Odkrywaj Pomoc
Zaloguj się
caryoscelus
/
agda
Obserwuj 1
Polub 0
Forkuj 0
Pliki Problemy 0 Oczekujące zmiany 0 Wiki
Gałąź: js_amd
Gałęzie Tagi
agda
/
doc
/
user-manual
/
getting-started
/
index.rst

index.rst 184 B
Bezpośredni odnośnik Historia Czysty

123456789101112131415 
  1. .. _getting-started:
    2. 

  2. 

  3. ***************
    4. 

  4. Getting Started
    5. 

  5. ***************
    6. 

  6. 

  7. .. toctree::
    8. 

  8.    :maxdepth: 2
    9. 

  9. 

  10.    what-is-agda
    11. 

  11.    installation
    12. 

  12.    hello-world
    13. 

  13.    a-taste-of-agda
    14. 

  14.    tutorial-list
    15. 

  15.