Quint spec review - Githubissues

informalsystems / partnership-heliax

1 stars 0 forks source link

Closed brentstone closed 11 months ago

brentstone commented 1 year ago

Just some miscellaneous fixes and items for review as I familiarize myself with the code.

brentstone commented 1 year ago

@angbrav @tzemanovic each commit here leaves a comment or fixes smth that I think should be changed