stahl-bersetzer
Installation
SKILL.md
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)))))