You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
When I use :PaddType the inferred type signatures often look like this:
accumulate::∀t1t2t3. t1→t2→t3→t2
While I'd much rather they looked like this, i.e. sticked to ASCII:
accumulate::forallt1t2t3. t1->t2->t3->t2
I'm not enough of an aesthete to bother with configuring my editor or input system to substitute these characters in place of my keyboard input, but I value consistency - since I'd not type them, I don't want them generated automatically.
Is it possible to tune the output of purs or psc-ide accordingly?
The text was updated successfully, but these errors were encountered:
When I use
:PaddType
the inferred type signatures often look like this:While I'd much rather they looked like this, i.e. sticked to ASCII:
I'm not enough of an aesthete to bother with configuring my editor or input system to substitute these characters in place of my keyboard input, but I value consistency - since I'd not type them, I don't want them generated automatically.
Is it possible to tune the output of
purs
orpsc-ide
accordingly?The text was updated successfully, but these errors were encountered: