Skip to content

Implement ~= as term unifiability instead of ray compatibility #309

Implement ~= as term unifiability instead of ray compatibility

Implement ~= as term unifiability instead of ray compatibility #309

Annotations

1 warning

build (macos-latest, 5.3)

succeeded Oct 28, 2025 in 6m 33s