F*: Giriş
F* öğrenmeye hızlı bir genel bakış ve Hello World ile başla.
F* — Introduction
Overview
This is a starter page for F*.
Hello World
// Hello World in F*
Hello, World!
What you'll learn
- How to run F*
- Basic syntax style
- Next steps (lessons & references)
Next
Open the Syntax & Cheat Sheet page for this language.