Show type signatures for all terms

seagreen / unison-code-explorer

:arrow_right: :arrow_right: Superseded by the core team project Unison Share (https://github.com/unisonweb/share) :arrow_right: :arrow_right:

BSD 3-Clause "New" or "Revised" License

22 stars 2 forks source link

Show type signatures for all terms #9

Closed pchiusano closed 4 years ago

pchiusano commented 4 years ago

It looks like terms whose types are just inferred don’t have their types shown in the output? Would be great to just always show the type signatures, similar to what the ‘view’ command does in UCM.