 Fangyi Zhou
|
e7f1c56f07
[ doc ] Fix a link in overview
|
3 år sedan |
 ice1000
|
919d75d916
[ doc ] Fix doc
|
5 år sedan |
|
ice1000
|
b219522dfd
[ doc ] Documentize published user-manual pdf in github actions
|
5 år sedan |
 Andreas Abel
|
3373b640b2
[ #3976 ] http --> https
|
5 år sedan |
|
ice1000
|
d2ef69573b
[ fix #3379 ] Add a tutorial list
|
6 år sedan |
|
ice1000
|
dc3a6ac626
[ #3379 ] Add link to agda wiki on `overview`
|
6 år sedan |
 Andrés Sicard-Ramírez
|
6c779295b7
[ user manual ] Tested URLs.
|
6 år sedan |
 Philipp Hausmann
|
6ede17d362
[ docs ] Add short overview.
|
9 år sedan |
 Ulf Norell
|
fe5ec8c00c
[ user manual ] language reference skeleton
|
9 år sedan |
