Skip to content

fix(lean): adapt to new printing infrastructure

85b9b9f
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Merged

feat(lean): add support for base expression of structs #1736

fix(lean): adapt to new printing infrastructure
85b9b9f
Select commit
Loading
Failed to load commit list.