leancheck v0.6.6 Release Notes

    • 👌 Improve showing of functional counter-examples.