decrel

decrel copied to clipboard

## About this PR 📦 Updates * [dev.zio:zio-test](https://github.com/zio/zio) * [dev.zio:zio-test-sbt](https://github.com/zio/zio) from `2.0.22` to `2.1.0` 📜 [GitHub Release Notes](https://github.com/zio/zio/releases/tag/v2.1.0) - [Version Diff](https://github.com/zio/zio/compare/v2.0.22...v2.1.0) ## Usage ✅ **Please merge!** I'll automatically update this...

scala-steward

## About this PR 📦 Updates [dev.zio:izumi-reflect](https://github.com/zio/izumi-reflect) from `2.3.8` to `2.3.9` 📜 [GitHub Release Notes](https://github.com/zio/izumi-reflect/releases/tag/v2.3.9) - [Version Diff](https://github.com/zio/izumi-reflect/compare/v2.3.8...v2.3.9) ## Usage ✅ **Please merge!** I'll automatically update this PR to resolve...

scala-steward

## About this PR 📦 Updates [dev.zio:zio-query](https://github.com/zio/zio-query) from `0.6.1` to `0.7.1` 📜 [GitHub Release Notes](https://github.com/zio/zio-query/releases/tag/v0.7.1) - [Version Diff](https://github.com/zio/zio-query/compare/v0.6.1...v0.7.1) ## Usage ✅ **Please merge!** I'll automatically update this PR to resolve...

scala-steward

## About this PR 📦 Updates com.codecommit:sbt-github-actions from `0.14.2` to `0.23.0` ## Usage ✅ **Please merge!** I'll automatically update this PR to resolve conflicts as long as you don't change...

scala-steward

close #65

yoohaemin

yoohaemin

Consistent apis for creating proofs

2

Consistent apis across different kinds of reification targets

yoohaemin

yoohaemin

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

yoohaemin

Keep it only in the subtypes that actually use them (?)

yoohaemin