Repository navigation

Inlcude the k-semantics in nix build - #112

Merged

RaoulSchaffranek merged 4 commits into

mainfrom

package-semantics

Oct 13, 2026

Merged

Inlcude the k-semantics in nix build#112
RaoulSchaffranek merged 4 commits into
mainfrom
package-semantics

Commits on Oct 13, 2026
- Inlcude the k-semantics in nix build
  RaoulSchaffranek
  committed
  0290bfc
- Follow best practices from kontrol
  RaoulSchaffranek
  committed
  ad95012
- Remove dead code
  RaoulSchaffranek
  committed
  584fc21
- Address reviewer feedback.
  RaoulSchaffranek
  committed
  ee65f92