Skip to content

Translate self-referential singleton [] RBS sigs to WithoutRuntime sigs - #1041

Draft
paracycle wants to merge 1 commit into
mainfrom
sf/b1ce6ca0-4b11-4136-bb67-435eed6a5d4b
Draft

paracycle wants to merge 1 commit into
mainfrom
sf/b1ce6ca0-4b11-4136-bb67-435eed6a5d4b

Translate self-referential singleton [] RBS sigs to WithoutRuntime sigs

22d66e6
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 error and 1 notice
ubuntu-latest 3.3
failed Oct 23, 2026 in 11m 3s