felix
stable
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
Read the Docs
v: stable
Versions
latest
stable
Downloads
pdf
html
epub
On Read the Docs
Project Home
Builds
Free document hosting provided by
Read the Docs
.