Closed int-index closed 1 year ago
Consider this type signature:
kindOf :: forall {k} (a :: k). Proxy a -> Proxy k
Prior to this fix, the LaTeX backend rendered it like this:
kindOf :: forall k a. Proxy a -> Proxy k
Now we preserve explicit specificity and kind annotations.
Consider this type signature:
Prior to this fix, the LaTeX backend rendered it like this:
Now we preserve explicit specificity and kind annotations.