List-like data structures std::vector std::list std::dequestd::vector C++ version of the array-list data structure Backed by a C-style array Automatically allocates a new backing array when inserting (O(n))std::list C++ version of the linked-list data structure Elements stored in nodes referencing the next nodestd::list Node Node Node Node Node Node std::list First Laststd::list Inserting byte ...std::list with custom allocator Idea: minimize cache misses by grouping consecutive nodes into contiguous memorystd::list with custom allocator Node Node Node Node Node std::list First Laststd::list

TFPHashList.Items . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 228 8.16.27 TFPHashList.List . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 229 8.16.28 TFPHashList.Strs . . TFPHashObjectList.Items . . . . . . . . . . . . . . . . . . . . . . . . . . . 238 8.18.27 TFPHashObjectList.List . . . . . . . . . . . . . . . . . . . . . . . . . . . . 238 8.19 TFPObjectHashTable . . . . . . TFPObjectList.Items . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 248 8.20.27 TFPObjectList.List . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 248 8.21 TFPStringHashTable . . .

238 Debian Reference xvii List of Tables 1.1 List of interesting text-mode program packages . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4 1.2 List of informative documentation . . . . . . . . . . . . . 5 1.3 List of usage of key directories . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7 1.4 List of the first character of ”ls -l” . . . . . . . . . . . . . 10 1.7 List of notable system-provided groups for file access . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11 1.8 List of notable system provided groups for

Arithmetic Sequences . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21 3.11 List Comprehensions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21 3.12 functions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 157 13.2.3 Generalisations of list functions . . . . . . . . . . . . . . . . . . . . . . . . . . . . 158 13.2.4 Conditional execution . . . . 186 viii CONTENTS 20 Data.List 189 20.1 Basic functions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 189 20.2 List transformations . . . . . . . . . .

. . . . . . . . . . . . . . . . . . . . . . . . . . 105 6.9 A Generic Algorithm: Iteration over a List . . . . . . . . . . . . . . . . . 105 6.10 Summary of New Lean Constructs . . . . . . . . . . . . Proof Assistants There are dozens of proof assistants in development or use across the world. A list of the main ones follows, classified by logical foundations: set theory: Isabelle/ZF, Metamath, Mizar; pressing the tab key or the space bar. We will freely use these notations. For reference, we provide a list of the main non-ASCII symbols that are used in the guide and, for each, one of its ASCII representations

our Add-on Catalog [https://github.com/falconry/falcon/wiki/Add- on-Catalog], where you can find a list of add-ons maintained by the community. Useful Links Falcon Home [http://falconframework.org/] Falcon like to invite you to help other community members with their questions in IRC and on the mailing list, and to help peer-review pull requests [https://github.com/racker/falcon/pulls]. If you use the Chrome body isn’t being returned to the client, it’s probably a bug! Let us know in IRC or on the mailing list so we can help. My app is setting a cookie, but it isn’t being passed back in subsequent requests

is another example: given any type α, the type list α denotes the type of lists of elements of type α. constant α : Type #check list α -- Type #check list nat -- Type For those more comfortable with element, and Type 2 is an even larger universe of types, which contains Type 1 as an element. The list is indefinite, so that there is a Type n for every natural number n. Type is an abbreviation for Type universes. For example, list α should make sense for any type α, no matter which type universe α lives in. This explains the type annotation of the function list: #check list -- Type u_1 → Type u_1 Here

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 44 7.2.2. List Orders . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 61 7.4.2. Reports List . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11.2.2. SFA Accounts find/list screen . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 178 11.2.3. SFA Contacts find/list screen . . . . . . . . . .

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 44 7.2.2. List Orders . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 61 7.4.2. Reports List . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11.2.2. SFA Accounts find/list screen . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 178 11.2.3. SFA Contacts find/list screen . . . . . . . . . .