Skip to content
Snippets Groups Projects
Commit 9ab780da authored by Patrick's avatar Patrick
Browse files

add and use HM_FamSig for (a :: _) in type family

parent 209c3d73
No related branches found
No related tags found
No related merge requests found
Pipeline #106928 canceled
Stage: tool-lint
Stage: quick-build
Stage: full-build
Stage: packaging
Stage: testing
Hide whitespace changes
Inline Side-by-side
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment