Yann Hamdaoui
|
c16fd3e1bd
|
Add blameWith and fromPred, update examples accordingly
|
2021-11-23 15:31:35 +01:00 |
|
GitHub Actions
|
8197701848
|
Update nightly Rust channel [ci skip]
|
2021-11-23 01:43:56 +00:00 |
|
GitHub Actions
|
26feebd3f6
|
[auto]Update the Nickel WASM REPL [ci-skip]
|
2021-11-22 16:46:33 +00:00 |
|
Yann Hamdaoui
|
ddd146614b
|
Merge pull request #469 from tweag/timcer/2steps_transform
Creating a 2-step process, top-to-bottom and bottom-to-top for transormation phase
|
2021-11-22 17:40:06 +01:00 |
|
Yann Hamdaoui
|
e097445fa8
|
Merge pull request #463 from silverraven691/fix-387
Work around IFD in nixpkgs-mozilla
|
2021-11-22 15:53:27 +01:00 |
|
Litchi Pi
|
0fa10494b1
|
Creating a 2-step process, top2bot and bot2top for transormation phase
Signed-off-by: Litchi Pi <litchi.pi@protonmail.com>
|
2021-11-22 10:56:32 +01:00 |
|
GitHub Actions
|
e7f4968e6f
|
Update nightly Rust channel [ci skip]
|
2021-11-22 01:45:54 +00:00 |
|
GitHub Actions
|
56c3066725
|
Update nightly Rust channel [ci skip]
|
2021-11-21 01:45:56 +00:00 |
|
GitHub Actions
|
3b985b4690
|
Update beta Rust channel [ci skip]
|
2021-11-20 01:36:23 +00:00 |
|
GitHub Actions
|
8e8ac95129
|
[auto]Update the Nickel WASM REPL [ci-skip]
|
2021-11-19 13:09:21 +00:00 |
|
Yann Hamdaoui
|
8a5561d983
|
Merge pull request #468 from silverraven691/patch-4
Fix `lists.reverse`
|
2021-11-19 14:03:55 +01:00 |
|
silverraven691
|
3c837db28d
|
Fix lists.reverse
|
2021-11-19 12:21:51 +01:00 |
|
GitHub Actions
|
23501a3385
|
Update nightly Rust channel [ci skip]
|
2021-11-19 01:44:55 +00:00 |
|
Yann Hamdaoui
|
e484012871
|
Merge pull request #467 from rofrol/patch-2
procedure -> procedures
|
2021-11-18 10:59:12 +01:00 |
|
Roman Frołow
|
2333807af5
|
procedure -> procedures
|
2021-11-18 02:14:08 +00:00 |
|
GitHub Actions
|
5af04644cf
|
Update nightly Rust channel [ci skip]
|
2021-11-18 01:42:59 +00:00 |
|
GitHub Actions
|
5898bb9abf
|
[auto]Update the Nickel WASM REPL [ci-skip]
|
2021-11-17 19:58:18 +00:00 |
|
Yann Hamdaoui
|
2f2f34459f
|
Merge pull request #466 from rofrol/patch-1
with and extra -> with an extra
|
2021-11-17 20:51:39 +01:00 |
|
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 |
|
silverraven691
|
d5aa96d06d
|
Work around IFD in nixpkgs-mozilla
|
2021-11-16 14:20:52 +01: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 |
|