Silk Wiki

The Silk Wiki is the learning-first, example-driven side of the Silk documentation set.

Use it when you want:

• a practical explanation of a concept,
• examples that show how a feature feels in real code,
• a gentler progression than the full reference material.

Choose the layer that matches your goal:

• Wiki — guided explanations and compact examples,
• Docs — canonical language, stdlib, and toolchain docs,
• Spec — full language/specification mirror.

Minimal shape#

import { println } from "std/io";

fn main () -> int {
  println("hello from silk");
  return 0;
}

Start here#

• New project: Getting started
• Language: Overview
• Standard library: Overview
• Tooling: CLI
• Formal verification: Formal Silk