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