Skip to content

Map.Interface, Word.Interface: Set Universe Polymorphism#163

Open
spitters wants to merge 1 commit into
mit-plv:masterfrom
spitters:spitters/universe-polymorphic-interfaces
Open

Map.Interface, Word.Interface: Set Universe Polymorphism#163
spitters wants to merge 1 commit into
mit-plv:masterfrom
spitters:spitters/universe-polymorphic-interfaces

Map.Interface, Word.Interface: Set Universe Polymorphism

4ea7c76
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 error and 1 warning
debian-sid
failed May 24, 2026 in 1m 7s