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
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
- The Kinding System
Felix GUI

Felix Tutorial

Docs »
Felix 114: Kinds »
The Kinding System
Edit on GitHub

The Kinding System¶

TBD

Next Previous

© Copyright 2017, 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.