Roman Frołow
|
5580cbf928
|
with and extra -> with an extra
|
2021-11-17 18:08:14 +00:00 |
|
GitHub Actions
|
6c958f7feb
|
[auto]Update the Nickel WASM REPL [ci-skip]
|
2021-11-17 18:07:12 +00:00 |
|
Yann Hamdaoui
|
4fdf65158d
|
Merge pull request #465 from tweag/balsoft/add-substituter
Add the substituter to flake.nix and README
|
2021-11-17 18:59:55 +01:00 |
|
Alexander Bantyev
|
2c1fc82ee6
|
Add the substituter to flake.nix and README
|
2021-11-17 14:25:22 +03:00 |
|
GitHub Actions
|
ceb5c97b90
|
Update nightly Rust channel [ci skip]
|
2021-11-17 01:44:04 +00:00 |
|
GitHub Actions
|
715e91e165
|
Update nightly Rust channel [ci skip]
|
2021-11-16 01:46:12 +00:00 |
|
GitHub Actions
|
00cb551c3d
|
Update nightly Rust channel [ci skip]
|
2021-11-15 01:44:12 +00:00 |
|
GitHub Actions
|
07d319a62f
|
Update nightly Rust channel [ci skip]
|
2021-11-14 01:45:22 +00:00 |
|
GitHub Actions
|
f0d9632c70
|
Update nightly Rust channel [ci skip]
|
2021-11-13 01:43:32 +00:00 |
|
GitHub Actions
|
78577cf60b
|
Update nightly Rust channel [ci skip]
|
2021-11-12 01:43:07 +00:00 |
|
GitHub Actions
|
9cadeb3813
|
Update nightly Rust channel [ci skip]
|
2021-11-11 01:46:24 +00:00 |
|
GitHub Actions
|
d73e5fc338
|
[auto]Update the Nickel WASM REPL [ci-skip]
|
2021-11-10 12:16:39 +00:00 |
|
Yann Hamdaoui
|
bf8be72f10
|
Merge pull request #458 from silverraven691/patch-3
Demonstrate the difference between seq and deepSeq in their documentation examples
|
2021-11-10 13:11:13 +01:00 |
|
Yann Hamdaoui
|
2b7cad1346
|
Merge pull request #446 from tweag/website/playground-loading-icon
Add a spinning icon when loading playground
|
2021-11-10 13:07:20 +01:00 |
|
silverraven691
|
34981a694f
|
Demonstrate the difference between seq and deepSeq in their documentation examples
|
2021-11-10 12:47:43 +01:00 |
|
GitHub Actions
|
aa2152830d
|
[auto]Update the Nickel WASM REPL [ci-skip]
|
2021-11-10 11:18:56 +00:00 |
|
Théophane Hufschmitt
|
70dee569fd
|
Merge pull request #457 from tweag/feature/pipe-operator
[Syntax]Pipe operator (reverse application)
|
2021-11-10 12:12:27 +01:00 |
|
Yann Hamdaoui
|
f905606982
|
Add reverse app operator and corresponding test
|
2021-11-10 11:37:06 +01:00 |
|
GitHub Actions
|
19730ced59
|
Update nightly Rust channel [ci skip]
|
2021-11-10 01:44:52 +00:00 |
|
GitHub Actions
|
027a5fc7e2
|
[auto]Update the Nickel WASM REPL [ci-skip]
|
2021-11-09 13:19:56 +00:00 |
|
Yann Hamdaoui
|
4edfdc6938
|
Merge pull request #436 from tweag/language-server/metadata
[Language server] Metadata
|
2021-11-09 14:14:05 +01:00 |
|
GitHub Actions
|
dcec7f916b
|
[auto]Update the Nickel WASM REPL [ci-skip]
|
2021-11-09 11:23:39 +00:00 |
|
Yann Hamdaoui
|
9856905253
|
Merge pull request #443 from tweag/timcer/op_refactor
Refactoring operation continuation with Strictness markers on stack
|
2021-11-09 12:16:59 +01:00 |
|
Yannik Sander
|
53a9ad5fc5
|
Fix warnings and typo
|
2021-11-09 11:45:42 +01:00 |
|
Yannik Sander
|
00a2d93ddc
|
Resolve metadata of referenced items
|
2021-11-09 11:43:26 +01:00 |
|
Yannik Sander
|
683d6035e4
|
Impl jump to Contract definition
|
2021-11-09 11:40:18 +01:00 |
|
Yannik Sander
|
46a9fc4ca7
|
Print metadata on hover
|
2021-11-09 11:40:18 +01:00 |
|
Yannik Sander
|
3646ede403
|
Attach meta data to linearized terms
|
2021-11-09 11:40:18 +01:00 |
|
Litchi Pi
|
31cb3d45f4
|
fixup
|
2021-11-09 10:51:59 +01:00 |
|
Yannik Sander
|
4cd865fe7a
|
Merge pull request #451 from tweag/avi-fix-not-parsed-panic
Fix lsp not parsed panic
|
2021-11-09 09:29:18 +01:00 |
|
GitHub Actions
|
6e5b67b148
|
Update nightly Rust channel [ci skip]
|
2021-11-09 01:45:44 +00:00 |
|
GitHub Actions
|
a5eaa56eaa
|
[auto]Update the Nickel WASM REPL [ci-skip]
|
2021-11-08 17:58:49 +00:00 |
|
Yann Hamdaoui
|
e642ed2a5b
|
Merge pull request #449 from silverraven691/patch-1
Mention that `--format` also accepts `yaml, toml`
|
2021-11-08 18:51:47 +01:00 |
|
Avi Dessauer
|
d662af65b8
|
Fix request panic when file cannot be parsed
|
2021-11-08 12:19:28 -05:00 |
|
Avi Dessauer
|
6a03ba3e28
|
Fix hover panic when file cannot be parsed
|
2021-11-08 12:19:28 -05:00 |
|
GitHub Actions
|
afae391370
|
[auto]Update the Nickel WASM REPL [ci-skip]
|
2021-11-08 17:16:18 +00:00 |
|
Yann Hamdaoui
|
196c66d1eb
|
Merge pull request #450 from silverraven691/patch-2
Fix a typo in the record type errors
|
2021-11-08 18:10:39 +01:00 |
|
Yann Hamdaoui
|
f5e00d009a
|
Fix styling of playground loader
|
2021-11-08 18:08:38 +01:00 |
|
Yann Hamdaoui
|
20f37a2dff
|
Remove unused import
|
2021-11-08 18:08:17 +01:00 |
|
silverraven691
|
6b22325585
|
Remind to update CLI docs when editing ExportFormat
|
2021-11-08 18:03:29 +01:00 |
|
GitHub Actions
|
c6aa887373
|
[auto]Update the Nickel WASM REPL [ci-skip]
|
2021-11-08 17:00:39 +00:00 |
|
Yann Hamdaoui
|
5d20ffae38
|
Merge pull request #432 from tweag/fix/typechecking-cyclic-imports
Fix looping typechecking of cyclic imports
|
2021-11-08 17:54:00 +01:00 |
|
silverraven691
|
83413a46bd
|
Fix a typo in the record type errors
|
2021-11-08 17:43:35 +01:00 |
|
silverraven691
|
7bb6c9ff41
|
Mention that --format also accepts yaml, toml
|
2021-11-08 17:36:49 +01:00 |
|
Litchi Pi
|
e93b8a61af
|
Refactoring operation continuation with strictness markers on stack
Signed-off-by: Litchi Pi <litchi.pi@protonmail.com>
|
2021-11-08 16:19:26 +01:00 |
|
Litchi Pi
|
3a92b78f61
|
fixup: Add newline to Stack std::fmt::Debug implementation
Signed-off-by: Litchi Pi <litchi.pi@protonmail.com>
|
2021-11-08 16:12:20 +01:00 |
|
francois-caddet
|
56edf5c49b
|
Merge pull request #448 from tweag/fix/history-save-exit-cmd
save repl history not only on interupt but also when using `:exit` …
|
2021-11-08 15:45:12 +01:00 |
|
Yann Hamdaoui
|
d2495abc24
|
Add intermediate states, fix logic in the cache, update comments
|
2021-11-08 15:24:20 +01:00 |
|
Yann Hamdaoui
|
6f9c6ba541
|
Precise the semantics of EntryState
|
2021-11-08 15:22:27 +01:00 |
|
Yann Hamdaoui
|
ce0e2348c2
|
Remove dead code
|
2021-11-08 15:22:27 +01:00 |
|