Skip to content

Typed rules - #4983

Closed
vidit-od wants to merge 7 commits into
haskell:masterfrom
vidit-od:typed-rules
Closed

Typed rules#4983
vidit-od wants to merge 7 commits into
haskell:masterfrom
vidit-od:typed-rules

Commits

Commits on Jun 22, 2026