Show inferred types on hover #16
Description
In the below screenshot, if a user hovers over b we should display its inferred type - i.e. Pair(Nat, String).
{{ message }}
In the below screenshot, if a user hovers over b we should display its inferred type - i.e. Pair(Nat, String).