Haemin Yoo

Fix Korean Translation

1

The Korean translation of the documentation seems to require a lot of fixing overall, from simple typos and grammatical mistakes to ambiguous and sometimes downright wrong wording. - [ ]...

- Korean translation completely rewritten (#74) - Made a small change on `the-client.md` to reflect change from the code

Missing paragraph in Japanese docs

1

The Japanese version of the docs doesn't have this paragraph from 03/00.md : To only use the latest stable release (excluding Milestone builds, Release candidates etc) specify a "stable" value...

sbt plugin: allow configuring openapi spec generation

2

I have a problem that is solved by calling `jsonAdd` on openapi generation. It’s the same as this: https://github.com/smithy-lang/smithy/issues/834 It’s easy if I can control the arguments passed to the...

Looks like there isn't a Scala 3 artifact. I'm happy to contribute if someone can take a look at my PR.

close #65

Consistent apis for creating proofs

2

Consistent apis across different kinds of reification targets

Sketch out the expectations/guarantees of each level of abstraction. example: if single relation ends up with no items, where/how should it fail?