Releases · anoma/goose-lean

@lukaszcz

What's Changed

First GOOSE prototype by @lukaszcz in #1
Parameterize objects, classes and members by the signature by @janmasrovira in #4
Set relaxedAutoImplicit to false by @janmasrovira in #7
Add Applib and improve UniversalCounter by @janmasrovira in #8
Add comments about compilation extensions by @lukaszcz in #11
Type representation and casting by @lukaszcz in #5

Full Changelog: https://github.com/anoma/goose-lean/commits/v0.1.0