Skip to content

Actions: phijor/agda-cubical-multiset

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1 workflow run
1 workflow run

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