Skip to content

Actions: cicada-lang/lambda

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
333 workflow runs
333 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[lang0] execute -- should not return void -- to catch sum type Node.js CI #337: Commit 6653354 pushed by xieyuheng
March 31, 2024 23:36 24s master
master
March 31, 2024 23:36 24s
[lang1] execute -- should not return void -- to catch sum type Node.js CI #336: Commit e1a0981 pushed by xieyuheng
March 31, 2024 23:35 24s master
master
March 31, 2024 23:35 24s
[lang0] Env should not be a class Node.js CI #335: Commit e788d4b pushed by xieyuheng
March 31, 2024 23:28 26s master
master
March 31, 2024 23:28 26s
up Node.js CI #334: Commit b8cb93f pushed by xieyuheng
March 31, 2024 10:04 28s master
master
March 31, 2024 10:04 28s
[lang0] 支持 (let) 作为语法糖 -- 向 lang1 靠近 Node.js CI #333: Commit d7054c3 pushed by xieyuheng
March 31, 2024 06:51 28s master
master
March 31, 2024 06:51 28s
0.3.0 Node.js CI #332: Commit 38b4c5c pushed by xieyuheng
March 30, 2024 18:46 23s master
master
March 30, 2024 18:46 23s
up Node.js CI #331: Commit 1bde439 pushed by xieyuheng
March 30, 2024 18:46 24s master
master
March 30, 2024 18:46 24s
[docs/lang1] explicit-substitution.md 重写为中文 Node.js CI #330: Commit 876a605 pushed by xieyuheng
March 30, 2024 18:39 21s master
master
March 30, 2024 18:39 21s
[docs/lang1] update NOTE.md and move it to diary/ -- explicit-subst… Node.js CI #329: Commit beb43a1 pushed by xieyuheng
March 30, 2024 17:22 17s master
master
March 30, 2024 17:22 17s
0.2.8 Node.js CI #328: Commit bebcd4c pushed by xieyuheng
March 30, 2024 17:20 19s master
master
March 30, 2024 17:20 19s
[docs/lang0] remove (fix) & (fixpoint) Node.js CI #327: Commit a9b6453 pushed by xieyuheng
March 30, 2024 17:19 19s master
master
March 30, 2024 17:19 19s
[docs/lang0] nat-even-odd.scm -- by wrap and Y -- instead of direct r… Node.js CI #326: Commit 6309b4e pushed by xieyuheng
March 30, 2024 17:12 25s master
master
March 30, 2024 17:12 25s
[docs/lang0] 回顾目前实现 direct recursion 的方式 -- (fixpoint) 和 (fix) Node.js CI #325: Commit a142dfd pushed by xieyuheng
March 30, 2024 15:58 24s master
master
March 30, 2024 15:58 24s
up Node.js CI #324: Commit af3e979 pushed by xieyuheng
March 30, 2024 10:36 28s master
master
March 30, 2024 10:36 28s
ambr wrapper wrap Node.js CI #323: Commit a02493d pushed by xieyuheng
March 30, 2024 10:31 24s master
master
March 30, 2024 10:31 24s
[lang0] remove value/equivalent.ts -- use equivalent/ Node.js CI #322: Commit f78b9df pushed by xieyuheng
March 30, 2024 07:28 24s master
master
March 30, 2024 07:28 24s
up Node.js CI #321: Commit 63d3a1d pushed by xieyuheng
March 30, 2024 07:00 23s master
master
March 30, 2024 07:00 23s
up Node.js CI #320: Commit 7ecb2fb pushed by xieyuheng
March 29, 2024 17:04 28s master
master
March 29, 2024 17:04 28s
up Node.js CI #319: Commit 62ee914 pushed by xieyuheng
March 29, 2024 16:59 29s master
master
March 29, 2024 16:59 29s
Revert "[docs/lang0] remove the builtin (fix)" Node.js CI #318: Commit 3fe20b8 pushed by xieyuheng
March 29, 2024 16:58 25s master
master
March 29, 2024 16:58 25s
[docs/lang0] remove the builtin (fix) Node.js CI #317: Commit 54026ff pushed by xieyuheng
March 29, 2024 16:48 19s master
master
March 29, 2024 16:48 19s
[docs/lang0] remove examples from README.md Node.js CI #316: Commit 0575cda pushed by xieyuheng
March 29, 2024 16:43 32s master
master
March 29, 2024 16:43 32s
up Node.js CI #315: Commit 137e843 pushed by xieyuheng
March 28, 2024 20:46 27s master
master
March 28, 2024 20:46 27s
up Node.js CI #314: Commit 111d217 pushed by xieyuheng
March 28, 2024 20:46 28s master
master
March 28, 2024 20:46 28s
up Node.js CI #313: Commit e3c890d pushed by xieyuheng
March 28, 2024 20:44 25s master
master
March 28, 2024 20:44 25s