1
1
mirror of https://github.com/tweag/nickel.git synced 2024-09-21 00:19:57 +03:00
Commit Graph

20 Commits

Author SHA1 Message Date
Yann Hamdaoui
e61a43fda0
Update RATIONALE.md
Co-authored-by: Eelco Dolstra <edolstra@gmail.com>
2020-11-13 16:02:36 +00:00
Yann Hamdaoui
7003929b03 Add links to Turing completeness posts in RATIONALE 2020-11-13 10:31:20 +01:00
Will Badart
5d9245dc1f
Note CUE's lazy evaluation
I could be misinterpreting the docs, since it's an off-handed comment in a sidebar, but the "[Logic of CUE][cue]" page alludes to lazy evaluation:

> This highly abstract definition determines almost everything about CUE. For instance, **lazy binding was not a design decision, but a direct consequence of following this definition.** It determines the possible evaluation strategies and what cycles mean, if allowed.

[cue]: https://cuelang.org/docs/concepts/logic/
2020-10-26 18:43:52 -04:00
Yann Hamdaoui
602555be9d
Merge pull request #176 from tweag/fix/rationale-comp-table
Fix error in the language comparison table
2020-10-20 18:40:07 +02:00
Yann Hamdaoui
03fff271ba Fix error in the language comparison table 2020-10-20 18:36:52 +02:00
Yann Hamdaoui
c785b89fb4 Fix broken link in RATIONALE.md 2020-10-20 17:43:05 +02:00
Yann Hamdaoui
31ffff1062
Update RATIONALE.md
Co-authored-by: Eelco Dolstra <edolstra@gmail.com>
2020-08-24 17:30:22 +02:00
Yann Hamdaoui
6550db7667
Update RATIONALE.md
Co-authored-by: Eelco Dolstra <edolstra@gmail.com>
2020-08-24 17:30:13 +02:00
Yann Hamdaoui
307b32efa6
Update RATIONALE.md
Co-authored-by: Eelco Dolstra <edolstra@gmail.com>
2020-08-24 17:30:03 +02:00
Yann Hamdaoui
8b5cee1aa4
Update RATIONALE.md
Co-authored-by: Eelco Dolstra <edolstra@gmail.com>
2020-08-18 15:26:41 +02:00
Yann Hamdaoui
541be23036
Update RATIONALE.md
Co-authored-by: Eelco Dolstra <edolstra@gmail.com>
2020-08-18 15:26:14 +02:00
Yann Hamdaoui
0654b33dc2
Update RATIONALE.md
Co-authored-by: Eelco Dolstra <edolstra@gmail.com>
2020-08-18 15:25:40 +02:00
Yann Hamdaoui
19ecf720db
Update RATIONALE.md
Co-authored-by: Eelco Dolstra <edolstra@gmail.com>
2020-08-18 15:25:30 +02:00
Yann Hamdaoui
24c8505cfc
Update RATIONALE.md
Co-authored-by: Eelco Dolstra <edolstra@gmail.com>
2020-08-18 15:22:08 +02:00
Yann Hamdaoui
e8d3e6dab4
Update RATIONALE.md
Co-authored-by: Eelco Dolstra <edolstra@gmail.com>
2020-08-18 15:21:59 +02:00
Yann Hamdaoui
f2a74fa58c
Update RATIONALE.md
Co-authored-by: Eelco Dolstra <edolstra@gmail.com>
2020-08-18 15:21:49 +02:00
Yann Hamdaoui
97df2e5b72
Update RATIONALE.md
Co-authored-by: Eelco Dolstra <edolstra@gmail.com>
2020-08-18 15:21:39 +02:00
Yann Hamdaoui
31a6847b6d Fix typo 2020-08-12 19:23:03 +02:00
Yann Hamdaoui
4f1804ec40 Correction: remove false statement 2020-08-12 19:11:17 +02:00
Yann Hamdaoui
34498fd16d Add design rationale and comparison with close languages 2020-08-12 18:59:36 +02:00