Skip to content

Actions: paulcadman/lean-effects

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
75 workflow runs
75 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Update to lean v4.29.0 Lean Action CI #75: Commit 1b9b700 pushed by paulcadman
30s main
main
30s
Add State.runViaIO that interprets state in IOEff Lean Action CI #74: Commit 599e4e0 pushed by paulcadman
24s main
main
24s
Add State.runViaIO that interprets state in IOEff Lean Action CI #73: Commit ce3c3a1 pushed by paulcadman
21s main
main
21s
Add State.runViaIO that interprets state in IOEff Lean Action CI #72: Commit 2d2b1d5 pushed by paulcadman
22s main
main
22s
Add State.runViaIO that interprets state in IOEff Lean Action CI #71: Commit 25858c8 pushed by paulcadman
25s main
main
25s
Add a Tutorial module Lean Action CI #70: Commit 29c7ced pushed by paulcadman
19s main
main
19s
Add basic example to README.md Lean Action CI #69: Commit dadedd8 pushed by paulcadman
37s main
main
37s
Rename LeanEffectsContainer and remove non-Container effects Lean Action CI #68: Commit 575557f pushed by paulcadman
34s main
main
34s
Add PStream, backed by MLList, to lazily evaluate NonDet branches Lean Action CI #67: Commit 8ec54ba pushed by paulcadman
30s main
main
30s
Port Parser arithmetic parser Lean Action CI #66: Commit fba32ac pushed by paulcadman
29s main
main
29s
Port Parser to container effect Lean Action CI #65: Commit ff81008 pushed by paulcadman
27s main
main
27s
Simplify Reader implementation Lean Action CI #64: Commit a936896 pushed by paulcadman
31s main
main
31s
Lean Action CI Lean Action CI #63: by paulcadman
30s main
main
30s
Merge pull request #2 from paulcadman/reader-wip Lean Action CI #62: Commit 6af168a pushed by paulcadman
26s main
main
26s
Complete implementation of Reader effect with local scoped operation Lean Action CI #61: Pull request #2 opened by paulcadman
26s reader-wip
reader-wip
26s
Add some more examples Lean Action CI #60: Commit 043a044 pushed by paulcadman
23s reader-wip
reader-wip
23s
Add Reader to library Lean Action CI #59: Commit 8740fc5 pushed by paulcadman
26s reader-wip
reader-wip
26s
Clean up Reader Lean Action CI #58: Commit 2bfd307 pushed by paulcadman
26s reader-wip
reader-wip
26s
Trying to understand localR Lean Action CI #57: Commit 1a0723e pushed by paulcadman
25s reader-wip
reader-wip
25s
Fix localR point function Lean Action CI #56: Commit c995860 pushed by paulcadman
20s reader-wip
reader-wip
20s
Fix localR point function Lean Action CI #55: Commit 113d07e pushed by paulcadman
23s reader-wip
reader-wip
23s
first attempt at localR Lean Action CI #54: Commit 474cde9 pushed by janmasrovira
23s reader-wip
reader-wip
23s
implement ask with new ReaderP Lean Action CI #53: Commit 098be49 pushed by janmasrovira
26s reader-wip
reader-wip
26s
implement ask with new ReaderP Lean Action CI #52: Commit cc6561b pushed by janmasrovira
24s reader-wip
reader-wip
24s
add simp theorems Lean Action CI #51: Commit 8d6dc2c pushed by janmasrovira
27s reader-wip
reader-wip
27s