fix(f*/lax): latest hax: fixes let-rec and types on empty lists#117

Merged

franziskuskiefer merged 3 commits intomainfrom update-hax--let-rec--empty-list-types

Jul 3, 2024

+459-528

Commits on Apr 10, 2024

Commits on Jul 3, 2024

Merge branch 'main' into update-hax--let-rec--empty-list-types
franziskuskiefer
authored