Felix Tutorial
latest
Hello
Felix 101: The Basics
Felix 102: More Detail
Felix 102a: Regular Expressions
Felix 102b: File I/O
Felix 103: Polymorphism
Felix 104: C bindings
Felix 105: Nominal Types
Felix 106: Uniqueness Typing
Uniqueness Types
Felix 107: Polymorphic Variants
Felix 108: Row Polymorphism and Subtyping
Felix 109: Objects and Plugins
Felix 110: Coroutines
Felix 111: Generalised Algebraic Data types
Felix 112: Compact Linear Types
Felix 113: Serialisation
Felix 114: Kinds
Felix GUI
Felix Tutorial
Docs
»
Felix 106: Uniqueness Typing
Edit on GitHub
Felix 106: Uniqueness Typing
ΒΆ
Uniqueness Types
Uniqueness Types
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
.