yoohaemin/decrel

Issues

• Consistent apis for creating proofs

  #17 opened 2 years ago by yoohaemin
  2

• Docs should mention that datasource impls should return all of the keys

  #78 opened 2 years ago by yoohaemin
  0

• Set boundaries for errors

  #77 opened 2 years ago by yoohaemin
  0

• Merge ReifiedRelation and syntax file & make it sealed

  #14 opened 2 years ago by yoohaemin
  0

• composedZippedProof should use foreach, not flatMap

  #44 opened 2 years ago by yoohaemin
  0

• Proper contramap support for proofs

  #58 opened 2 years ago by yoohaemin
  0

• Drop `Rel` in `Proof` (?)

  #73 opened 2 years ago by yoohaemin
  0

• `mapK` on `module`

  #67 opened 2 years ago by yoohaemin
  0

• Create an internal equivalent to buildfrom

  #8 opened 2 years ago by yoohaemin
  1

• More efficient version of Zippable

  #66 opened 2 years ago by yoohaemin
  0

• Add support for hedgehog

  #65 opened 2 years ago by yoohaemin
  0

• Add support for scalaprops

  #64 opened 2 years ago by yoohaemin
  0

• Add support for more generator libraries

  #62 opened 2 years ago by yoohaemin
  0

• Add support for nyaya

  #63 opened 2 years ago by yoohaemin
  0

• use implicit defs instead of subtyping proofs

  #57 opened 2 years ago by yoohaemin
  0

• Override toString for `Relation.Declared`

  #56 opened 2 years ago by yoohaemin
  0

• Rename `val F` inside fetch integration into something that doesn't get in the way

  #43 opened 2 years ago by yoohaemin
  0

• Rename `:>:` to `<>:`

  #35 opened 2 years ago by yoohaemin
  1

• Add tests using free monad

  #34 opened 2 years ago by yoohaemin
  0

• Remove implicit classes inside implementations

  #36 opened 2 years ago by yoohaemin
  0

• Drop Scala 3 limitation in readme

  #22 opened 2 years ago by yoohaemin
  0

• Add microsite

  #4 opened 2 years ago by yoohaemin
  0

• Parameterizable relations

  #16 opened 2 years ago by yoohaemin
  1

• Fully implement reify.Either

  #15 opened 2 years ago by yoohaemin
  0

• Refactor Cache as a trait

  #13 opened 2 years ago by yoohaemin
  0

• Reuse evidences when possible

  #12 opened 2 years ago by yoohaemin
  0

• Is filtering possible?

  #11 opened 2 years ago by yoohaemin
  1

• Add test case to demonstrate efficiency for ZQuery and Fetch

  #10 opened 2 years ago by yoohaemin
  0

• Add test case that demonstrates compile time is kept to a reasonable amnt

  #9 opened 2 years ago by yoohaemin
  0

• Add scaladoc docstrings for core module

  #7 opened 2 years ago by yoohaemin
  0

• Implicit relations

  #6 opened 2 years ago by yoohaemin
  0

• Add implicitNotFound for Proofs

  #5 opened 2 years ago by yoohaemin
  0