tweag/nickel
1
1
Fork 0
mirror of https://github.com/tweag/nickel.git synced 2024-10-05 15:47:33 +03:00
Code Issues Projects Releases Wiki Activity
2,172 Commits 115 Branches 18 Tags 52 MiB
1849add459
Commit Graph

18 Commits

Author SHA1 Message Date
Yann Hamdaoui
7fe73a4c1a Another pass on the typing manual section 2022-01-04 12:50:28 +01:00
Yann Hamdaoui
30f3e942c6 Another pass on the section on typing 2022-01-03 18:47:08 +01:00
Yann Hamdaoui
21d5599374 Rework after @aspiwack's second review 2021-12-30 18:42:14 +01:00
Yann Hamdaoui
e18492f739
Update doc/manual/typing.md 
Co-authored-by: Arnaud Spiwack <arnaud.spiwack@tweag.io>
 2021-12-30 15:41:49 +01:00
Yann Hamdaoui
d87d4149a5
Update doc/manual/typing.md 
Co-authored-by: Arnaud Spiwack <arnaud.spiwack@tweag.io>
 2021-12-30 15:08:34 +01:00
Yann Hamdaoui
c282837f28
Update doc/manual/typing.md 
Co-authored-by: Arnaud Spiwack <arnaud.spiwack@tweag.io>
 2021-12-30 15:08:17 +01:00
Yann Hamdaoui
99fc9473e8
Update doc/manual/typing.md 
Co-authored-by: Arnaud Spiwack <arnaud.spiwack@tweag.io>
 2021-12-30 15:07:59 +01:00
Yann Hamdaoui
a0f3a186f0
Update doc/manual/typing.md 
Co-authored-by: Arnaud Spiwack <arnaud.spiwack@tweag.io>
 2021-12-30 15:07:45 +01:00
Yann Hamdaoui
8a75796411 Pass on the typing section 2021-12-15 12:20:22 +01:00
Yann Hamdaoui
e7ea777eb7 WIP update typing with opaque types 2021-12-14 18:22:51 +01:00
Yann Hamdaoui
c742fe47b7 Remove old text 2021-12-14 15:58:18 +01:00
Yann Hamdaoui
d04a8580df Fix example 2021-12-14 15:53:35 +01:00
Yann Hamdaoui
7fcc8a741a Rework of the typing manuel after @aspiwack's review 2021-12-14 15:50:30 +01:00
Yann Hamdaoui
297f4a51b9
Update doc/manual/typing.md 
Co-authored-by: Arnaud Spiwack <arnaud.spiwack@tweag.io>
 2021-12-08 17:16:20 +01:00
Yann Hamdaoui
f968689cb0
Update doc/manual/typing.md 
Co-authored-by: Arnaud Spiwack <arnaud.spiwack@tweag.io>
 2021-12-08 17:09:49 +01:00
Yann Hamdaoui
5bc7b912f3
Update doc/manual/typing.md 
Co-authored-by: Arnaud Spiwack <arnaud.spiwack@tweag.io>
 2021-12-08 17:08:27 +01:00
Yann Hamdaoui
8fbc6b2ad5
Update doc/manual/typing.md 
Co-authored-by: Arnaud Spiwack <arnaud.spiwack@tweag.io>
 2021-12-08 17:06:23 +01:00
Yann Hamdaoui
ce233e725e Fill missing examples and eval results + various rework 2021-12-07 16:59:15 +01:00