Skip to content
GitLab
Explore
Sign in
Register
curry
curry-frontend
Repository
curry-frontend
src
Checks
TypeCheck.hs
Find file
Blame
History
Permalink
Allow impredicative instantiation for the dollar operator
· 2ee5494c
Jan-Hendrik Matthes
authored
Oct 24, 2019
2ee5494c