 Andreas Abel
|
ef433beed7
[ user-manual ] synced list of keywords with Lexer.x
|
3 éve |
|
Andreas Abel
|
bca9ff8745
[ whitespace ] user-manual: each keyword on its own line
|
3 éve |
|
Andreas Abel
|
c777007a68
[ fix #1145 ] Stack layout kewords (#5319)
|
3 éve |
 G. Allais
|
9a2300e018
[ fix #2858 ] Interleaving mutually-defined functions and datatypes (#5001)
|
4 éve |
 Kyle Raftogianis
|
383e492086
Implement binary integer literals with prefix `0b` (#4874)
|
4 éve |
 Jesper Cockx
|
7094f09dcc
[ doc ] Reorganize user manual pages on sorts and universe polymorphism
|
4 éve |
 herminie
|
73b29982d6
[ fix #4572 ] added piSort UnivSort funSort and Setω+n to the user-manual (#4645)
|
4 éve |
 Gabor Greif
|
8a14308e46
[ fix #4046 ] Remove 'codata' definitions and make 'data' always inductive
|
5 éve |
|
Andreas Abel
|
e8ddf7a026
[ user-manual ] added keyword `variable` to list of keywords
|
5 éve |
 ice1000
|
2f6987ef77
[ doc ] Capitalization and alphabetical related issues
|
6 éve |
|
ice1000
|
bce8a456d4
[ doc ] Update Literate Agda related stuff
|
6 éve |
 Nikita Karetnikov
|
670c21ebcb
Typo fixes
|
6 éve |
 Ulf Norell
|
f6a2f10e74
[ do-notation ] user manual
|
7 éve |
 Andrés Sicard-Ramírez
|
1035c49bba
[ fixed #2478 ] Used `:ref:` on cross-references.
|
7 éve |
|
Ulf Norell
|
274b71520a
[ user manual ] got rid of standard library dependency
|
7 éve |
|
Andrés Sicard-Ramírez
|
067929324c
[ doc ] Added links for `∀` and `forall`.
|
7 éve |
|
Andrés Sicard-Ramírez
|
c073118245
[ doc ] Added `overlap` to the list of keywords.
|
8 éve |
|
Andrés Sicard-Ramírez
|
c479da3d8a
[ doc ] Added cross-reference for `coinductive` keyword.
|
8 éve |
|
Andrés Sicard-Ramírez
|
26a72e5f26
[ user manual ] Added link to reflection keywords.
|
8 éve |
 Víctor López Juan
|
b507471bb7
[ doc ] Converted remaining into literate files
|
8 éve |
