xpile 0.1.616

Polyglot transpile workbench (Python/C/C++/Rust/Ruchy/Lean ↔ Rust/Ruchy/PTX/WGSL/SPIR-V) with provable contracts at every layer.
1
2
3
4
5
6
7

# PMAT-502bl (Tranche 2): void functions (-> None).
def check_pos(x: int) -> None:
    assert x > 0


def put(d: dict[str, int], k: str, v: int) -> None:
    d[k] = v