에디터가 하스켈의 타입 에러메시지를 보여줄땐 호버링으로 뜨는 창으로는 부족한거 같다. 별도의 뷰를 만들어서 크게 보여주고 또 rich한 기능(메시지에 포함된 심볼로의 navigation 등)을 제공하면 좋겠다.
FunApp
(Γ ⊢ 𝑓: Humor → Happy, 𝑎 : Humor) / (𝑓 𝑎 : Happy)
에디터가 하스켈의 타입 에러메시지를 보여줄땐 호버링으로 뜨는 창으로는 부족한거 같다. 별도의 뷰를 만들어서 크게 보여주고 또 rich한 기능(메시지에 포함된 심볼로의 navigation 등)을 제공하면 좋겠다.
FunApp
(Γ ⊢ 𝑓: Humor → Happy, 𝑎 : Humor) / (𝑓 𝑎 : Happy)
