v0.4.10

melted released this 16 Aug 13:16

· 64 commits to master since this release

f97be6f

Added

Display typechecking information
Copy executable path to clipboard
Syntax highlitning in message panel
Proof clause
higlightning of parameters
Better support for literate idris
Added snippets

Fixed

Display error message from idris
Idris now restarts if stopped
fix comments highlightning

Assets 2