Skip to content

Add HsTypRef for handling TypElaborated#243

Merged
edsko merged 1 commit intomainfrom data-decl-cons-dOct 30, 2024

Commits

Commits on Oct 30, 2024