Repository navigation

Jt05 higner kinded types - #6

Merged

stamich merged 11 commits into

mainfrom

jt05-higner-kinded-types

Oct 1, 2026

Merged

Jt05 higner kinded types#6
stamich merged 11 commits into
mainfrom
jt05-higner-kinded-types

Commits on Oct 1, 2026
- Updates Gradle configuration
  Michal Stawarski
  committed
  56df6ba
- Implements the marker interface
  Michal Stawarski
  committed
  947fe69
- Implements the zero-state witness OptionK
  Michal Stawarski
  committed
  d6f4c70
- Implements EitherK to model partial application of the left type
  Michal Stawarski
  committed
  54a8094
- Implements ValidationK to fix the validation error type
  Michal Stawarski
  committed
  8f84bf1
- Updates existing ADT code
  Michal Stawarski
  committed
  b06d6bd
- Updates existing ADT code
  Michal Stawarski
  committed
  b08d45d
- Updates examples
  Michal Stawarski
  committed
  e0e0b46
- Updates tests
  Michal Stawarski
  committed
  3fba3d3
- Updates existing ADT and smart contracts code
  Michal Stawarski
  committed
  6448c9d
- Updates documentation
  Michal Stawarski
  committed
  31635d6