v0.0.6

Update to leanv4.6.0-rc1

v0.0.5

Updating to Lean v4.4.0-rc1

v0.0.4

Fixing LazyList name clash and adding Duper.lean

v0.0.3

Updating README

v0.0.2

Fixing build.yml tar directory

v0.0.1

Disabling fail-fast in build.yml

v0.0.0

Adding preferReleaseBuild option to lakefile

v.0.0.0-alpha

v0.0.0-alpha

Adding preferReleaseBuild option to lakefile