 Jesper Cockx
|
fa09a8fe74
[ re #4908 ] add explicit --sized-types flag to test suite
|
3 年之前 |
 G. Allais
|
96860c1612
[ fix build ] --rewriting is now infective (#5182)
|
3 年之前 |
 herminie
|
4cce39b7ae
[ fix #3874 ] updated core language in user manual (#4673)
|
4 年之前 |
 Fredrik Nordvall Forsberg
|
6c7266f2a5
[ doc ] remove unneeded "inductive"
|
5 年之前 |
|
Fredrik Nordvall Forsberg
|
d9a68b0ef2
[ fix #3607 ] correct docs on pattern matching on records
|
5 年之前 |
|
Fredrik Nordvall Forsberg
|
00635792d9
[doc] let-bindings accept a list of definitions
|
7 年之前 |
 Ulf Norell
|
ebeba7163e
[ fixed #2143 ] rudimentary documentation of records
|
8 年之前 |
 Andreas Abel
|
595a8c83ab
[ doc #2081 ] turned let-expressions.rst into let-and-where.lagda.rst
|
8 年之前 |
