The KaRaMeL user manual

Contents:

  • Introduction
  • Tooling and project setup
  • Low* language
  • Low* libraries
    • Low* core libraries
    • Low* buffer libraries
    • Low* system libraries
    • Low* data structure libraries
    • Low* string manipulation
  • Low* examples
  • A toy project for learning Low*
  • Advanced tips & tricks
  • Advanced KaRaMeL topics
The KaRaMeL user manual
  • Low* libraries
  • View page source

Low* librariesΒΆ

This section covers all of the Low* libraries, meaning that they are compatible with KaRaMeL and compile to C.

  • Low* core libraries
    • The memory model
      • The F* HyperHeap model
      • The HyperStack model
      • Advanced: the StackInline effect
    • Machine integers
    • The buffer library
    • The modifies clauses library
  • Low* buffer libraries
    • Immutable buffers
    • Uninitialized buffers
    • Const pointers
  • Low* system libraries
    • Comments
    • Failure
    • String literals
    • Printing
  • Low* data structure libraries
    • Resizable vector
    • Linked list
    • Associative List
  • Low* string manipulation
    • Printing strings
    • String as buffers
Previous Next

© Copyright 2018, Jonathan Protzenko.

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