KreMLinユーザマニュアル

Contents:

  • 導入
  • F* のサブセットとしての Low*
  • The Low* libraries
  • The Low* system libraries
  • Example: RingBuffer
KreMLinユーザマニュアル
  • Docs »
  • KreMLin ユーザマニュアル
  • View page source

KreMLin ユーザマニュアル¶

(訳注: この日本語マニュアルは The KreMLin user manual and documentation の翻訳です。 翻訳に参加するには 翻訳リポジトリ を参照してください。)

Contents:

  • 導入
    • Low* のエッセンス
    • ツールとセットアップ
    • KreMLin ツールの使い方
  • F* のサブセットとしての Low*
    • いくつかの有効な Low* の例
    • Low* におけるいくつかの拡張
    • Some non-Low* code
  • The Low* libraries
    • The memory model
    • Machine integers
    • The buffer library
    • The modifies clauses library
  • The Low* system libraries
    • C standard library
    • Test helpers
    • C string literals
    • C NULL pointers
    • A polymorphic exit
  • Example: RingBuffer

Indices and tables¶

  • Index
  • Module Index
  • Search Page
Next

© Copyright 2018, Jonathan Protzenko.

Built with Sphinx using a theme provided by Read the Docs.

AltStyle によって変換されたページ (->オリジナル) /