New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Add kind-polymorphism #17

Closed

f-f opened this issue Oct 6, 2018 · 2 comments

Labels

standard compliance

Owner

f-f commented Oct 6, 2018

As standardized in dhall-lang/dhall-lang#238

f-f added the standard compliance label

Owner Author

f-f commented Oct 15, 2018 •

edited

Haskell implementation here: dhall-lang/dhall-haskell@2010d41

Owner Author

f-f commented Nov 12, 2018 •

edited

This should now be good to go, with dhall-lang/dhall-lang#272 and dhall-lang/dhall-haskell#680.

Update: and dhall-lang/dhall-haskell#700

f-f closed this as completed in

e319458

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment