Stahl Bersetzer

Steel-to-Stahl (mattwparas/steel Scheme) German translation validator with semantic preservation and type equivalence. Triggers: stahl, steel, scheme, german translation, semantic preservation.

plurigrid Updated

File contents

Stahl-Übersetzer

Validates correctness of English↔German translation for Steel Scheme (mattwparas/steel).

Guarantees

English Deutsch Check
Semantic preservation Bedeutungserhaltung Round-trip preserves meaning
Type equivalence Typ-Äquivalenz Types map 1:1
Round-trip Hin-und-Rück EN→DE→EN = identity

Translation Rules

;; Steel (English)
(define (factorial n)
  (if (= n 0) 1 (* n (factorial (- n 1)))))

;; Stahl (Deutsch)
(definiere (fakultät n)
  (wenn (= n 0) 1 (* n (fakultät (- n 1)))))

Commands

just stahl-validate "skill" "Fähigkeit"
just stahl-roundtrip input.md

plurigrid/asi/tree/main/skills/stahl-bersetzer commit c72b2eb00a

Frequently asked questions

npx skillmds@latest add plurigrid/stahl-bersetzer