Yann Hamdaoui
|
2d7ba65669
|
Add slug header to manual sections
|
2022-03-03 14:10:47 +01:00 |
|
Yann Hamdaoui
|
33266b62f9
|
Merge pull request #580 from tweag/manual/merging
Manual/merging
|
2022-03-03 12:38:30 +01:00 |
|
Yann Hamdaoui
|
f5779cd0ec
|
Remove the Array alias for Array Dyn
|
2022-03-02 18:23:28 +01:00 |
|
Yann Hamdaoui
|
879856c51b
|
renaming list -> array
|
2022-03-02 16:38:46 +01:00 |
|
francois-caddet
|
f4542ac1cf
|
Merge branch 'master' into feature/hashtag_for_comment
|
2022-03-02 12:00:42 +01:00 |
|
Yann Hamdaoui
|
a52da27c6f
|
Correction about merging non records
|
2022-03-01 18:25:44 +01:00 |
|
Yann Hamdaoui
|
e28d6ea4d4
|
Update doc/manual/merging.md
Co-authored-by: Silvan Mosberger <github@infinisil.com>
|
2022-03-01 16:53:19 +01:00 |
|
Yann Hamdaoui
|
c22a4ff241
|
Update doc/manual/merging.md
|
2022-03-01 15:07:05 +01:00 |
|
Yann Hamdaoui
|
53fcb322db
|
Update doc/manual/merging.md
|
2022-03-01 15:04:40 +01:00 |
|
Yann Hamdaoui
|
84c241563e
|
Implement Théophane's suggestions
|
2022-03-01 10:17:04 +01:00 |
|
Yann Hamdaoui
|
bf1c13d829
|
Rework of the merging section
|
2022-02-28 14:32:07 +01:00 |
|
francois-caddet
|
8dd7e0f4a8
|
Merge branch 'master' into feature/hashtag_for_comment
|
2022-02-25 12:58:57 +01:00 |
|
Yann Hamdaoui
|
9753deb776
|
Rename stdlib modules: remove trailing s
|
2022-02-25 12:41:54 +01:00 |
|
francois-caddet
|
6e5fcf8a70
|
update missings % in the manual
|
2022-02-24 09:42:47 +01:00 |
|
francois-caddet
|
a44bb379c4
|
update manual/syntax % syntax
|
2022-02-24 09:34:55 +01:00 |
|
Yann Hamdaoui
|
99a0925e76
|
Update doc and comments to use the uniterm syntax
|
2022-02-23 10:31:52 +01:00 |
|
Yann Hamdaoui
|
b4914a53cb
|
Merge pull request #610 from tweag/manual/contracts-yann
[User manual] Contracts
|
2022-02-23 10:30:49 +01:00 |
|
Yann Hamdaoui
|
67cd14cdb7
|
Update doc/manual/contracts.md
Co-authored-by: Arnaud Spiwack <arnaud.spiwack@tweag.io>
|
2022-02-23 09:27:37 +01:00 |
|
Yann Hamdaoui
|
b7ecb08536
|
Update doc/manual/contracts.md
Co-authored-by: Arnaud Spiwack <arnaud.spiwack@tweag.io>
|
2022-02-23 09:21:37 +01:00 |
|
francois-caddet
|
efa620b39d
|
Write the actual operator symbol in the introduction
|
2022-02-22 21:05:33 +01:00 |
|
francois-caddet
|
4c6fd4b3fe
|
iClarify contracts crossvalidation
|
2022-02-22 21:01:46 +01:00 |
|
francois-caddet
|
96df4e1ad1
|
Rewording and some structural updates
|
2022-02-22 20:27:04 +01:00 |
|
Yann Hamdaoui
|
9aa7cbfed7
|
Add an example of failing contract
|
2022-02-22 15:47:29 +01:00 |
|
Yann Hamdaoui
|
945547982f
|
Address review comments on contract section
|
2022-02-22 15:47:29 +01:00 |
|
Yann Hamdaoui
|
71a2c40eac
|
Update doc/manual/contracts.md
Co-authored-by: Arnaud Spiwack <arnaud.spiwack@tweag.io>
|
2022-02-22 14:57:09 +01:00 |
|
Yann Hamdaoui
|
17df016e75
|
Remove confusing higher-order contract expression in the manual
|
2022-02-22 14:55:06 +01:00 |
|
Yann Hamdaoui
|
d26b38fa21
|
Rework the correctness section to address review
|
2022-02-22 14:52:24 +01:00 |
|
francois-caddet
|
ef6e90f42c
|
Improve structure of the manual
|
2022-02-22 12:07:26 +01:00 |
|
Yann Hamdaoui
|
ca42a15be0
|
Update doc/manual/contracts.md
Co-authored-by: Arnaud Spiwack <arnaud.spiwack@tweag.io>
|
2022-02-18 18:01:54 +01:00 |
|
Yann Hamdaoui
|
e7feb4de38
|
Update doc/manual/contracts.md
Co-authored-by: Arnaud Spiwack <arnaud.spiwack@tweag.io>
|
2022-02-18 16:42:16 +01:00 |
|
Yann Hamdaoui
|
481c6f6739
|
Update doc/manual/contracts.md
Co-authored-by: Arnaud Spiwack <arnaud.spiwack@tweag.io>
|
2022-02-18 16:31:36 +01:00 |
|
Yann Hamdaoui
|
9587bcb7af
|
Update doc/manual/contracts.md
Co-authored-by: Arnaud Spiwack <arnaud.spiwack@tweag.io>
|
2022-02-18 16:31:30 +01:00 |
|
Yann Hamdaoui
|
1d936c5877
|
Update doc/manual/contracts.md
Co-authored-by: Arnaud Spiwack <arnaud.spiwack@tweag.io>
|
2022-02-18 16:24:08 +01:00 |
|
Yann Hamdaoui
|
d79573d950
|
Update doc/manual/contracts.md
Co-authored-by: Arnaud Spiwack <arnaud.spiwack@tweag.io>
|
2022-02-18 16:23:39 +01:00 |
|
Yann Hamdaoui
|
efd5e414d5
|
Update doc/manual/correctness.md
Co-authored-by: Arnaud Spiwack <arnaud.spiwack@tweag.io>
|
2022-02-18 16:18:47 +01:00 |
|
Yann Hamdaoui
|
a787810cec
|
Update doc/manual/correctness.md
Co-authored-by: Arnaud Spiwack <arnaud.spiwack@tweag.io>
|
2022-02-18 16:17:08 +01:00 |
|
Yann Hamdaoui
|
0ff40a7085
|
Rework of the correctness section of the manual
|
2022-02-17 19:23:32 +01:00 |
|
Yann Hamdaoui
|
6cf56df2fd
|
Manual: typos/wording in contracts and correctness
|
2022-02-17 18:59:13 +01:00 |
|
Yann Hamdaoui
|
06cc2a9c82
|
Add ref to the correctness sec to the typing sec
|
2022-02-17 18:30:18 +01:00 |
|
Yann Hamdaoui
|
ecf22b5c4a
|
Add a contracts section to the manual
|
2022-02-17 18:30:06 +01:00 |
|
Yann Hamdaoui
|
1ed859e087
|
Add a correctness section to the manual
|
2022-02-17 18:29:54 +01:00 |
|
francois-caddet
|
3dfe865670
|
contracts and annotation case when merging
|
2022-02-09 14:29:11 +01:00 |
|
francois-caddet
|
829b48a3d8
|
update records merging manual.
|
2022-02-08 11:16:13 +01:00 |
|
Anthony Caccia
|
8da4b9b453
|
doc/syntax: fix example of failed multiline string interpolation
|
2022-02-07 13:44:59 +01:00 |
|
Anthony Caccia
|
d1393a617b
|
doc/syntax: remove unnecessary explanation in if-then-else
|
2022-02-07 13:38:43 +01:00 |
|
Anthony Caccia
|
60cf06808b
|
doc/syntax: fix example in records where field was missing a value
|
2022-02-07 13:35:52 +01:00 |
|
Anthony Caccia
|
164d7c43fd
|
doc/syntax: change all separated by to separated with, for consistency
|
2022-02-07 13:32:33 +01:00 |
|
Acaccia
|
bc1bba46da
|
doc/syntax: apply suggestions/rephraisings/formatting from code review
Co-authored-by: Yann Hamdaoui <yann.hamdaoui@gmail.com>
|
2022-02-07 13:19:35 +01:00 |
|
Anthony Caccia
|
a0b0d06056
|
doc/syntax: add a merge example for the "default" metadata
|
2022-01-27 14:45:01 +01:00 |
|
Anthony Caccia
|
fc4ea27d3e
|
doc/syntax: add a bit about accessing records fields from vars
|
2022-01-27 14:41:13 +01:00 |
|