Avenue v0.2.0-alpha.1

Pre-release

Pre-release

bigeasy released this 22 Oct 09:16

· 81 commits to master since this release

d9de287

Create Markdown readme with badges. Closes #47.
Build with Actions, ship coverage to Codecov. Closes #46. Closes #45.
Tidy .gitignore. Closes #44.
Remove /.proof.out from .gitignore. Closes #43.
Convert test to Proof. Closes #42.

Closes #48.

Assets 2