felix
latest
  • Language Reference Manual
  • Overview
  • Lexical Structure
  • Macros
  • Directives
  • Type System
  • Core Algebras
  • Definitions
  • Expression Syntax
  • Pattern Matching
  • Statements
  • Library Algebras
    • Logical Operations
    • Sets
    • Set Forms
    • Containers
    • Address Types
    • Equivalence Relation
    • Partial Order
    • Total Order
    • Additive Groups
    • Multiplicative SemiGroup with Unit
    • Rings
    • Integral Algebra
    • Slices
    • Floating Numbers
    • Strings
  • Data Types
  • Fibres
  • Pre-emptive Threads
  • Representations
felix
  • Docs »
  • Library Algebras
  • Edit on GitHub

Library AlgebrasΒΆ

Contents:

  • Logical Operations
  • Sets
  • Set Forms
  • Containers
  • Address Types
  • Equivalence Relation
  • Partial Order
  • Total Order
  • Additive Groups
  • Multiplicative SemiGroup with Unit
  • Rings
  • Integral Algebra
  • Slices
  • Floating Numbers
  • Strings
Next Previous

© Copyright 2018, John Skaller and others Revision 3fb47168.

Built with Sphinx using a theme provided by Read the Docs.
Read the Docs v: latest
Versions
latest
stable
Downloads
pdf
html
epub
On Read the Docs
Project Home
Builds
Free document hosting provided by Read the Docs.