 Andreas Abel
|
b668e6361c
[ fixed #5356 #5336 ] interleaved mutual: data _ where instead of constructor
|
před 3 roky |
|
Andreas Abel
|
65764cb113
[ #5336 ] document that `data...where` works in `interleaved mutual`
|
před 3 roky |
|
Andreas Abel
|
db59455193
[ fix #5176 ] user-manual: old-style mutual is not deprecated
|
před 4 roky |
 G. Allais
|
9a2300e018
[ fix #2858 ] Interleaving mutually-defined functions and datatypes (#5001)
|
před 4 roky |
 Nate
|
fb9ac37fe6
[ doc ] Note that type sigs are forbidden in mutrec data (#4434)
|
před 5 roky |
 Ulf Norell
|
cfbb9529c1
[ #952, #1886, #3296 ] changelog and user manual
|
před 6 roky |
|
Andreas Abel
|
5675ffba24
[ re #3246 ] Universe example in user manual on mutual blocks.
|
před 6 roky |
 Víctor López Juan
|
b507471bb7
[ doc ] Converted remaining into literate files
|
před 8 roky |
