Yann Hamdaoui
92ce2c5043
Small rewording in the syntax section of the manual
2022-03-09 16:26:22 +01:00
Yann Hamdaoui
59179bfc75
Hide enum types
...
Enum type syntax has been changed temporarily since the unified syntax
change. While we bikeshed on a new syntax, we don't want people to rely
on the temporary syntax. This PR hides enum types from stdlib types, and
document enum tags but not enum types in the manual. That way, they are
still morally used in the stdlib, but a random user should be able to
use it without knowing about the type.
2022-03-09 16:26:22 +01:00
Yann Hamdaoui
6dcdd10080
Add roadmap in README and user manual
2022-03-08 16:59:24 +01:00
Yann Hamdaoui
3aff5d38cd
Set language for markdown code blocks
2022-03-07 12:27:09 +01:00
Yann Hamdaoui
b745c048d2
Add an introduction to the user manual
2022-03-04 17:36:54 +01:00
Yann Hamdaoui
e004d94fa3
Merge branch 'master' into task/remove-record-ops
2022-03-03 18:43:48 +01:00
Yann Hamdaoui
d6732e01de
Merge pull request #634 from tweag/syntax/hashtag_for_comment
...
Syntax/hashtag for comment
2022-03-03 18:42:56 +01:00
francois-caddet
0ff4f88286
fix butal replacement for http(s)://
2022-03-03 17:12:19 +01:00
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
francois-caddet
feb41abbf2
update comment syntax in anual, rfcs and READMEs
2022-03-03 11:35:18 +01:00
Yann Hamdaoui
36c74e7158
Remove -$ and $[ ], use standard primop instead
...
This commit removes the original idiosyncratic operators -$ and $[ ] for
field remove and field insertion, and replace them with standad
%record_remove% and %record_insert%. Also adds corresponding wrapper in
the record stdlib, as well as an update fonction, that is the
composition of the two (removal then insertion).
2022-03-02 21:57:43 +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