Skip to content

std.temporal_effect + gunbc.os_install_deduction T1 vocabulary (roadmap 2-temporal-effect-spine-a, 2-os-install-deduction-a) - #6187

Merged
briansrls merged 11 commits into
mainfrom
session/os-install-deduction-a
Jul 3, 2026
Merged

std.temporal_effect + gunbc.os_install_deduction T1 vocabulary (roadmap 2-temporal-effect-spine-a, 2-os-install-deduction-a)#6187
briansrls merged 11 commits into
mainfrom
session/os-install-deduction-a

fix(gunbc): dissolve coproduct Bool predicates in os_install deductio…

aeaf82b
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar