| .. |
|
a-taste-of-agda.lagda.rst
|
ab85be8ad7
Update a-taste-of-agda.lagda.rst
|
3 years ago |
|
hello-world.lagda.rst
|
381c7cd630
[ doc ] Distribute the contents of "quick guide to Agda" over "a taste of Agda" and "emacs mode" pages
|
3 years ago |
|
index.rst
|
381c7cd630
[ doc ] Distribute the contents of "quick guide to Agda" over "a taste of Agda" and "emacs mode" pages
|
3 years ago |
|
installation.rst
|
7028350ce1
Fix #5773: doc: link to ICU installation instructions
|
3 years ago |
|
tutorial-list.rst
|
77754f29a8
User-manual: tutorial list: remove spaces before commata
|
3 years ago |
|
what-is-agda.lagda.rst
|
d1c3a7859e
added general links
|
5 years ago |
Andreas Abel
7028350ce1
Fix #5773: doc: link to ICU installation instructions