felix
stable
  • Language Reference Manual
  • Overview
  • Lexical Structure
  • Macros
  • Directives
  • Type System
  • Core Algebras
    • Product Types
    • Coproduct Types
    • Compact Linear Types
    • Pointer Types
    • Function Types
    • Subtyping
  • Definitions
  • Expression Syntax
  • Pattern Matching
  • Statements
  • Library Algebras
  • Data Types
  • Fibres
  • Pre-emptive Threads
  • Representations
felix
  • Docs »
  • Core Algebras
  • Edit on GitHub

Core AlgebrasΒΆ

Contents:

  • Product Types
  • Coproduct Types
  • Compact Linear Types
  • Pointer Types
  • Function Types
  • Subtyping
Next Previous

© Copyright 2018, John Skaller and others Revision 14cec89c.

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