Arch Docs
Effect Algebra
Initializing search
SouPuppy/Arch
Home
Arch
Installation
Syntax
Theory
Arch Docs
SouPuppy/Arch
Home
Arch
Arch
Evaluating Expressions
Installation
Installation
Installation
Syntax
Syntax
Condition
Dependent Types
Extends
Function
Generic
If
Loop
Module
Package
Polymorphism
Structure
Subtyping
Template
Term
Type
Unit
Universe
Variable
Base Types
Base Types
Boolean
List
Numbers
Char
Theory
Theory
Effect Algebra
Introduction
Effect Algebra
Continuation
:
c1; c2
Back to top