v0.2.5

archaeron released this 18 Sep 23:19

· 244 commits to master since this release

6ba5aec

Added

Restart the idris compiler after every commmand if it was killed #54
added the ability to style all the idris-panels

Fixed

Status message should appear only in idris projects #52 many thanks to @jeremy-w

Assets 2