1 Automata

1	Automata
2	Bytes
3	Contracts
4	Contracts for Macro Subexpressions
5	Debugging
6	Definitions
7	Errors
8	Find
9	Futures
10	Functions
11	Hash Tables
12	Interface-Oriented Programming for Classes
13	Lazy Require
14	Lists
15	Logging
16	Macro Testing
17	Mark Parameters
18	Match
19	Open place expressions
20	Option Contracts
21	Parameter Groups
22	Pretty-Printing
23	Re-Contracting Identifiers
24	Sandbox
25	Sequences
26	Strings
27	Structs
28	Struct Printing
29	Syntax
30	Temporal Contracts
31	Unix Domain Sockets
32	2D Syntax

8.12

NOTE: This library is deprecated; use Automata: Compiling State Machines, instead.