Skip to content

Actions: phijor/agda-cubical-multiset

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
4 workflow runs
4 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

fix: Address slow type checking in braid example Type Checking #32: Commit a7e0083 pushed by phijor
July 1, 2024 19:53 3m 0s update-agda
update-agda
July 1, 2024 19:53 3m 0s
docs: Update tested versions of Agda and cubical Type Checking #31: Commit 17bc9b5 pushed by phijor
January 3, 2024 13:51 3m 46s update-agda
update-agda
January 3, 2024 13:51 3m 46s
build(nix): Update to Agda 2.6.4 and cubical v0.6 (stable) Type Checking #30: Commit 492f1b1 pushed by phijor
January 3, 2024 13:48 3m 59s update-agda
update-agda
January 3, 2024 13:48 3m 59s
docs(README): Link to paper as published in ITP'23 Type Checking #29: Commit 709600e pushed by phijor
July 30, 2023 18:20 5m 9s main
main
July 30, 2023 18:20 5m 9s