This repository was archived by the owner on Feb 26, 2021. It is now read-only.

v0.3.0

banacorn released this 30 Jan 13:29

· 1837 commits to master since this release

bcbb5ae

Nothing big really, just a new number.
Enable unsolvedmeta and terminationproblem highlight. (#7)
Use colours given by user installed syntax.
Fixed #18

Assets 2