Common Lisp the Language
2nd Edition
Next: About this document
Up: Common Lisp the Language
Previous: References
This index was produced from the latex sources and is inferior to
the ones in the paperbound version. We will replace this page with a
form-based GLIMPSE index in the near future. --mark
- (ADJUST-ARRAY-DISPLACEMENT)
- Changing the Dimensions
- (ADJUST-ARRAY-FILL-POINTER)
- Changing the Dimensions
- (ADJUST-ARRAY-NOT-ADJUSTABLE)
- Arrays
Array Creation
Array Creation
Array Information
Fill Pointers
Changing the Dimensions
- (ALLOW-LOCAL-INLINE)
- Declaration Specifiers
- (APPLYHOOK-ENVIROMENT)
- Run-Time Evaluation of
Run-Time Evaluation of
- (AREF-1D)
- Generalized Variables
Array Information
- (ARGUMENTS-UNDERSPECIFIED)
- Assignment
Logical Operations on
Simple Sequence Functions
Lists
Hash Table Functions
String Construction and
The Readtable
The Readtable
Input from Character
- (ARRAY-TYPE-ELEMENT-TYPE-SEMANTICS)
- Type Specifiers That
Type Specifiers That
Type Specifiers That
Type Upgrading
General Type Predicates
General Type Predicates
Array Creation
- (ASSOC-RASSOC-IF-KEY)
- Association Lists
Association Lists
- (BREAK-ON-WARNINGS-OBSOLETE)
- General Error-Signaling Functions
General Error-Signaling Functions
Signaling Conditions
- (CHARACTER-PROPOSAL)
- Characters
Character Attributes
String Characters
Strings
OverlapInclusion
and
OverlapInclusion
and
OverlapInclusion
and
Type Specifier Symbols
Type Specifier Symbols
Type Specifiers That
Type Specifiers That
Type Conversion Function
Type Conversion Function
Generalized Variables
Generalized Variables
Generalized Variables
Symbols
The Print Name
Package System Functions
Characters
Character Attributes
Character Attributes
Character Attributes
Predicates on Characters
Predicates on Characters
Predicates on Characters
Character Construction and
Character Construction and
Character Construction and
Character Construction and
Character Conversions
Character Conversions
Character Conversions
Character Control-Bit Functions
Character Control-Bit Functions
Character Control-Bit Functions
Simple Sequence Functions
Arrays
Strings
String Access
String Construction and
String Construction and
What the Read
Standard Dispatching Macro
The Readtable
Formatted Output to
- (CLOS)
- Data Types
Type Specifiers That
Generalized Variables
Establishing New Variable
Declaration Syntax
How to Use
Documentation
Common Lisp Object
Predefined Condition Types
- (CLOS-MACRO-COMPILATION)
- Compilation Environment
- (CLOSE-CONSTRUCTED-STREAM)
- Operations on Streams
- (CLOSED-STREAM-OPERATIONS)
- Operations on Streams
Operations on Streams
Pathname Functions
Pathname Functions
Pathname Functions
Pathname Functions
Pathname Functions
Opening and Closing
RenamingDeleting
and
Accessing Directories
- (COLON-NUMBER)
- Parsing of Numbers
Parsing of Numbers
- (COMMON-TYPE)
- Data Types
OverlapInclusion
and
Type Specifier Symbols
Predicating Type Specifiers
Specific Data Type
- (COMPILE-ARGUMENT-PROBLEMS)
- The Compiler
- (COMPILE-ENVIRONMENT-CONSISTENCY)
- Compilation Environment
- (COMPILE-FILE-HANDLING-OF-TOP-LEVEL-FORMS)
- Compilation Environment
- (COMPILE-FILE-PACKAGE)
- Package System Functions
The Compiler
- (COMPILE-FILE-SYMBOL-HANDLING)
- The Compiler
Similarity of Constants
- (COMPILED-FUNCTION-REQUIREMENTS)
- Compiled Functions
- (COMPILER-DIAGNOSTICS)
- The Compiler
The Compiler
Compiler Diagnostics
- (COMPILER-LET-CONFUSION)
- Establishing New Variable
- (COMPILER-VERBOSITY)
- Loading Files
Loading Files
The Compiler
The Compiler
The Compiler
- (COMPILER-WARNING-STREAM)
- Compiler Diagnostics
- (COMPLEX-ATAN-BRANCH-CUT)
- Trigonometric and Related
Branch CutsPrincipal
Branch CutsPrincipal
- (COMPLEX-RATIONAL-RESULT)
- Irrational and Transcendental
Exponential and Logarithmic
- (CONDITION-RESTARTS)
- Declaration Syntax
Conditions
Establishing Restarts
- (CONDITION-SYSTEM)
- Data Types
Errors
General Error-Signaling Functions
General Error-Signaling Functions
General Error-Signaling Functions
General Error-Signaling Functions
Specialized Error-Signaling Forms
Specialized Error-Signaling Forms
Special Forms for
Special Forms for
Special Forms for
Special Forms for
Conditions
- (CONSTANT-CIRCULAR-COMPILATION)
- Reference
Similarity of Constants
- (CONSTANT-COLLAPSING)
- Similarity of Constants
- (CONSTANT-COMPILABLE-TYPES)
- Reference
Similarity of Constants
- (CONSTANT-FUNCTION-COMPILATION)
- Similarity of Constants
- (CONSTANT-MODIFICATION)
- Self-Evaluating Forms
Reference
Similarity of Constants
- (CONTAGION-ON-NUMERICAL-COMPARISONS)
- Equality Predicates
PrecisionContagion
and
Hash Table Functions
- (COPY-SYMBOL-COPY-PLIST)
- Creating Symbols
- (COPY-SYMBOL-PRINT-NAME)
- Creating Symbols
- (DATA-IO)
- Declaration Syntax
Parsing of Numbers
Standard Dispatching Macro
Standard Dispatching Macro
What the Print
What the Print
What the Print
What the Print
What the Print
What the Print
What the Print
What the Print
What the Print
What the Print
What the Print
What the Print
Output to Character
Output to Character
Output to Character
Functions in the
- (DATA-TYPES-HIERARCHY-UNDERSPECIFIED)
- OverlapInclusion
and
OverlapInclusion
and
Defstruct Options
Integrating Types and
- (DECLARATION-SCOPE)
- Declaration Syntax
- (DECLARE-ARRAY-TYPE-ELEMENT-REFERENCES)
- Type Specifiers That
- (DECLARE-FUNCTION-AMBIGUITY)
- Declaration Specifiers
- (DECLARE-MACROS)
- Declaration Syntax
- (DECLARE-TYPE-FREE)
- Declaration Syntax
Declaration Syntax
Declaration Specifiers
- (DECODE-UNIVERSAL-TIME-DAYLIGHT)
- Time Functions
- (DEFCONSTANT-SPECIAL)
- Declaring Global Variables
- (DEFINE-COMPILER-MACRO)
- Generalized Variables
Compiler Macros
Built-in Packages
- (DEFINING-MACROS-NON-TOP-LEVEL)
- Defining New Type
Top-Level Forms
Defining Named Functions
Generalized Variables
Generalized Variables
Establishing New Variable
Macro Definition
Environments
How to Use
- (DEFMACRO-LAMBDA-LIST)
- Macro Definition
- (DEFPACKAGE)
- Package System Functions
An Example
- (DEFSTRUCT-CONSTRUCTOR-KEY-MIXTURE)
- By-Position Constructor Functions
- (DEFSTRUCT-DEFAULT-VALUE-EVALUATION)
- How to Use
Using the Automatically
- (DEFSTRUCT-PRINT-FUNCTION-INHERITANCE)
- Defstruct Options
- (DEFSTRUCT-REDEFINITION)
- How to Use
- (DEFSTRUCT-SLOTS-CONSTRAINTS-NAME)
- How to Use
- (DEFSTRUCT-SLOTS-CONSTRAINTS-NUMBER)
- How to Use
- (DEFVAR-DOCUMENTATION)
- Declaring Global Variables
- (DEFVAR-INIT-TIME)
- Declaring Global Variables
- (DEFVAR-INITIALIZATION)
- Declaring Global Variables
- (DESCRIBE-INTERACTIVE)
- Debugging Tools
- (DESCRIBE-UNDERSPECIFIED)
- Debugging Tools
Debugging Tools
Functions in the
Functions in the
- (DESTRUCTURING-BIND)
- Destructuring
Environments
- (DISASSEMBLE-SIDE-EFFECT)
- The Compiler
- (DO-SYMBOLS-DUPLICATES)
- Package System Functions
Package System Functions
Package System Functions
- (DOTTED-MACRO-FORMS)
- Macros
- (DRIBBLE-TECHNIQUE)
- Debugging Tools
- (DYNAMIC-EXTENT)
- Declaration Specifiers
- (DYNAMIC-EXTENT-FUNCTION)
- Declaration Specifiers
- (EQUAL-STRUCTURE)
- Equality Predicates
Equality Predicates
- (EVAL-OTHER)
- Forms
- (EVAL-WHEN-NON-TOP-LEVEL)
- Control of Time
Environments
- (EXIT-EXTENT)
- Dynamic Non-Local Exits
- (EXPT-RATIO)
- Exponential and Logarithmic
- (FIXNUM-NON-PORTABLE)
- Integers
OverlapInclusion
and
Implementation Parameters
Array Creation
- (FLET-DECLARATIONS)
- Establishing New Variable
- (FLET-IMPLICIT-BLOCK)
- Defining New Type
Generalized Variables
Generalized Variables
Establishing New Variable
Macro Definition
Compiler Macros
- (FLOAT-UNDERFLOW)
- PrecisionContagion
and
Implementation Parameters
Implementation Parameters
- (FORMAT-ATSIGN-COLON)
- Formatted Output to
- (FORMAT-COLON-UPARROW-SCOPE)
- Formatted Output to
- (FORMAT-COMMA-INTERVAL)
- Formatted Output to
- (FORMAT-E-EXPONENT-SIGN)
- Formatted Output to
- (FORMAT-OP-C)
- Formatted Output to
- (FORMAT-PRETTY-PRINT)
- Formatted Output to
Formatted Output to
Formatted Output to
Formatted Output to
Formatted Output to
Formatted Output to
Formatted Output to
Formatted Output to
Formatted Output to
Formatted Output to
Formatted Output to
Formatted Output to
Formatted Output to
Formatted Output to
- (FUNCTION-CALL-EVALUATION-ORDER)
- Function Calls
- (FUNCTION-COMPOSITION)
- Sequences
- (FUNCTION-DEFINITION)
- The Compiler
- (FUNCTION-NAME)
- Defining Named Functions
Constants and Variables
Reference
Reference
Reference
Assignment
Generalized Variables
Generalized Variables
Generalized Variables
Generalized Variables
Generalized Variables
Generalized Variables
Generalized Variables
Generalized Variables
Establishing New Variable
Declaration Specifiers
Declaration Specifiers
Declaration Specifiers
The Compiler
The Compiler
Documentation
Debugging Tools
Debugging Tools
Functions in the
Functions in the
- (FUNCTION-TYPE)
- Data Types
Functions
OverlapInclusion
and
Type Specifiers That
Type Conversion Function
Specific Data Type
Reference
Reference
Reference
Function Invocation
Function Invocation
Mapping
Macro Expansion
Sequences
Sequences
Run-Time Evaluation of
- (FUNCTION-TYPE-ARGUMENT-TYPE-SEMANTICS)
- Type Specifiers That
Declaration Specifiers
Declaration Specifiers
- (FUNCTION-TYPE-KEY-NAME)
- Type Specifiers That
- (FUNCTION-TYPE-REST-LIST-ELEMENT)
- Type Specifiers That
- (GENSYM-NAME-STICKINESS)
- Creating Symbols
Creating Symbols
- (GET-MACRO-CHARACTER-READTABLE)
- The Readtable
The Readtable
- (GET-SETF-METHOD-ENVIRONMENT)
- Generalized Variables
Generalized Variables
Generalized Variables
Generalized Variables
Generalized Variables
- (HASH-TABLE-ACCESS)
- Hash Table Functions
- (HASH-TABLE-PACKAGE-GENERATORS)
- Package System Functions
Hash Table Functions
- (HASH-TABLE-SIZE)
- Hash Tables
Hash Table Functions
Hash Table Functions
- (HASH-TABLE-TESTS)
- Hash Table Functions
- (IEEE-ATAN-BRANCH-CUT)
- Exponential and Logarithmic
Exponential and Logarithmic
Trigonometric and Related
Trigonometric and Related
Branch CutsPrincipal
Branch CutsPrincipal
Branch CutsPrincipal
Branch CutsPrincipal
- (IMPORT-SETF-SYMBOL-PACKAGE)
- Package System Functions
- (IN-PACKAGE-FUNCTIONALITY)
- Package System Functions
Package System Functions
Compilation Environment
- (IN-SYNTAX)
- Loading Files
The Compiler
- (KEYWORD-ARGUMENT-NAME-PACKAGE)
- Type Specifiers That
Lambda-Expressions
Lambda-Expressions
- (LAST-N)
- Lists
- (LCM-NO-ARGUMENTS)
- Arithmetic Operations
- (LISP-PACKAGE-NAME)
- Built-in Packages
Package System Functions
Package System Functions
Package System Functions
An Example
An Example
- (LISP-SYMBOL-REDEFINITION)
- Built-in Packages
- (LOAD-OBJECTS)
- Loading Files
Similarity of Constants
- (LOAD-TIME-EVAL)
- The Compiler
- (LOAD-TRUENAME)
- Loading Files
Loading Files
Loading Files
The Compiler
The Compiler
The Compiler
- (LOCALLY-TOP-LEVEL)
- Control of Time
Declaration Syntax
- (LOOP-AND-DISCREPANCY)
- Iteration Control
- (LOOP-FACILITY)
- Indefinite Iteration
Loop
- (MACRO-CACHING)
- Macro Expansion
- (MACRO-ENVIRONMENT-EXTENT)
- Macro Definition
Macro Expansion
Macro Expansion
- (MACRO-FUNCTION-ENVIRONMENT)
- Macro Definition
- (MAKE-PACKAGE-USE-DEFAULT)
- Package System Functions
Package System Functions
- (MAP-INTO)
- ConcatenatingMapping
and
- (MAPPING-DESTRUCTIVE-INTERACTION)
- Simple Iteration Constructs
Mapping
Structure Traversal and
Package System Functions
Package System Functions
Package System Functions
Package System Functions
ConcatenatingMapping
and
ConcatenatingMapping
and
ConcatenatingMapping
and
Modifying Sequences
Modifying Sequences
Modifying Sequences
Modifying Sequences
Modifying Sequences
Searching Sequences for
Searching Sequences for
Searching Sequences for
Searching Sequences for
Searching Sequences for
Sorting and Merging
Sorting and Merging
Conses
Substitution of Expressions
Substitution of Expressions
Substitution of Expressions
Substitution of Expressions
Using Lists as
Using Lists as
Using Lists as
Using Lists as
Using Lists as
Using Lists as
Using Lists as
Association Lists
Association Lists
Hash Table Functions
Hash Table Functions
Run-Time Evaluation of
Creating New Streams
Creating New Streams
- (MORE-CHARACTER-PROPOSAL)
- Characters
Characters
Character Attributes
Creating New Streams
Creating New Streams
Operations on Streams
Opening and Closing
Opening and Closing
Opening and Closing
RenamingDeleting
and
- (NTH-VALUE)
- Constructs for Handling
- (OPTIMIZE-DEBUG-INFO)
- Declaration Specifiers
- (PACKAGE-CLUTTER)
- Built-in Packages
- (PACKAGE-DELETION)
- Package System Functions
Package System Functions
- (PACKAGE-FUNCTION-CONSISTENCY)
- Package Names
Package System Functions
Package System Functions
Package System Functions
Package System Functions
Package System Functions
Package System Functions
Package System Functions
Package System Functions
Package System Functions
Package System Functions
Package System Functions
Package System Functions
Package System Functions
Package System Functions
Package System Functions
Package System Functions
Package System Functions
Package System Functions
Package System Functions
Package System Functions
- (PATHNAME-COMPONENT-CASE)
- Case Conventions
Extended Wildcards
Pathname Functions
Pathname Functions
Pathname Functions
- (PATHNAME-COMPONENT-VALUE)
- Pathnames
Extended Wildcards
- (PATHNAME-LOGICAL)
- Logical Pathnames
Pathname Functions
Pathname Functions
Pathname Functions
Opening and Closing
Opening and Closing
RenamingDeleting
and
RenamingDeleting
and
RenamingDeleting
and
RenamingDeleting
and
RenamingDeleting
and
Loading Files
Accessing Directories
The Compiler
Debugging Tools
Debugging Tools
- (PATHNAME-PRINT-READ)
- Standard Dispatching Macro
What the Print
- (PATHNAME-STREAM)
- Modules
Pathname Functions
Pathname Functions
Pathname Functions
Pathname Functions
Pathname Functions
Pathname Functions
Pathname Functions
Opening and Closing
Opening and Closing
RenamingDeleting
and
RenamingDeleting
and
RenamingDeleting
and
RenamingDeleting
and
RenamingDeleting
and
Loading Files
Accessing Directories
The Compiler
- (PATHNAME-SUBDIRECTORY-LIST)
- Pathnames
Pathnames
Structured Directories
Pathname Functions
- (PATHNAME-SYMBOL)
- Modules
Pathname Functions
Pathname Functions
Pathname Functions
Pathname Functions
Pathname Functions
Pathname Functions
Pathname Functions
- (PATHNAME-SYNTAX-ERROR-TIME)
- Pathname Functions
Pathname Functions
Pathname Functions
- (PATHNAME-UNSPECIFIC-COMPONENT)
- Pathnames
- (PATHNAME-WILD)
- Extended Wildcards
Pathname Functions
Opening and Closing
Opening and Closing
RenamingDeleting
and
RenamingDeleting
and
RenamingDeleting
and
RenamingDeleting
and
RenamingDeleting
and
Loading Files
The Compiler
- (PEEK-CHAR-READ-CHAR-ECHO)
- Creating New Streams
Input from Character
Input from Character
Input from Character
Input from Character
Input from Character
- (PRETTY-PRINT-INTERFACE)
- Standard Characters
What the Print
Output to Character
Output to Character
Output to Character
Formatted Output to
Formatted Output to
Formatted Output to
Formatted Output to
Pretty Printing
- (PRINC-CHARACTER)
- Output to Character
- (PRINT-CASE-PRINT-ESCAPE-INTERACTION)
- What the Print
What the Print
- (PRINT-CIRCLE-SHARED)
- What the Print
- (PRINT-CIRCLE-STRUCTURE)
- Defstruct Options
What the Print
- (PROCLAIM-ETC-IN-COMPILE-FILE)
- Declaration Syntax
Declaration Syntax
Declaration Specifiers
Compilation Environment
- (PROCLAIM-INLINE-WHERE)
- Declaration Specifiers
- (PUSH-EVALUATION-ORDER)
- Generalized Variables
The Property List
The Property List
Arithmetic Operations
Lists
Lists
Lists
Specialized Error-Signaling Forms
Specialized Error-Signaling Forms
Special Forms for
Special Forms for
- (QUOTE-SEMANTICS)
- Equality Predicates
Reference
- (RANGE-OF-COUNT-KEYWORD)
- Modifying Sequences
Modifying Sequences
Modifying Sequences
- (RANGE-OF-START-AND-END-PARAMETERS)
- Sequences
- (READ-CASE-SENSITIVITY)
- Overview of Syntax
Symbols
What the Read
What the Read
What the Read
The Readtable
What the Print
What the Print
- (REAL-NUMBER-TYPE)
- Numbers
OverlapInclusion
and
Type Specifier Symbols
Type Specifiers That
Specific Data Type
- (REDUCE-ARGUMENT-EXTRACTION)
- ConcatenatingMapping
and
- (REMF-DESTRUCTION-UNSPECIFIED)
- The Property List
The Property List
The Property List
The Property List
Simple Sequence Functions
Modifying Sequences
Modifying Sequences
Modifying Sequences
Lists
Lists
Using Lists as
Using Lists as
Using Lists as
- (REQUIRE-PATHNAME-DEFAULTS)
- Modules
An Example
Pathname Functions
- (REST-LIST-ALLOCATION)
- Lambda-Expressions
- (RETURN-VALUES-UNSPECIFIED)
- Declaration Syntax
Package System Functions
Package System Functions
Modules
The Readtable
Debugging Tools
Debugging Tools
- (ROOM-DEFAULT-ARGUMENT)
- Debugging Tools
- (SEQUENCE-TYPE-LENGTH)
- Type Conversion Function
Simple Sequence Functions
ConcatenatingMapping
and
ConcatenatingMapping
and
Sorting and Merging
- (SETF-MULTIPLE-STORE-VARIABLES)
- Generalized Variables
Generalized Variables
Generalized Variables
Generalized Variables
Specialized Error-Signaling Forms
- (SETF-SUB-METHODS)
- Generalized Variables
- (SHADOW-ALREADY-PRESENT)
- Package System Functions
- (SHARP-COMMA-CONFUSION)
- Parsing of Numbers
Standard Dispatching Macro
Standard Dispatching Macro
The Compiler
- (SHARPSIGN-PLUS-MINUS-PACKAGE)
- Standard Dispatching Macro
Other Environment Inquiries
- (SPECIAL-TYPE-SHADOWING)
- Declaration Syntax
- (STANDARD-INPUT-INITIAL-BINDING)
- Standard Streams
- (STEP-ENVIRONMENT)
- Debugging Tools
Debugging Tools
- (STREAM-ACCESS)
- Streams
OverlapInclusion
and
Creating New Streams
Creating New Streams
Creating New Streams
Creating New Streams
Creating New Streams
Creating New Streams
Creating New Streams
Creating New Streams
Creating New Streams
Creating New Streams
Operations on Streams
Operations on Streams
Formatted Output to
Opening and Closing
- (STREAM-CAPABILITIES)
- Operations on Streams
- (STRING-COERCION)
- String Comparison
String Comparison
String Comparison
String Comparison
String Construction and
String Construction and
String Construction and
- (SUBSEQ-OUT-OF-BOUNDS)
- Sequences
- (SUBTYPEP-TOO-VAGUE)
- General Type Predicates
- (SYMBOL-MACROLET-DECLARE)
- Establishing New Variable
Declaration Syntax
Functions in the
Functions in the
- (SYMBOL-MACROLET-SEMANTICS)
- Assignment
Assignment
Generalized Variables
Establishing New Variable
Establishing New Variable
Constructs for Handling
Macro Expansion
Functions in the
Functions in the
- (SYNTACTIC-ENVIRONMENT-ACCESS)
- Environments
- (TAILP-NIL)
- Using Lists as
- (TEST-NOT-IF-NOT)
- Sequences
- (THE-AMBIGUITY)
- Type Declaration for
- (TIME-ZONE-NON-INTEGER)
- Time Functions
- (TYPE-OF-UNDERCONSTRAINED)
- Determining the Type
- (UNDEFINED-VARIABLES-AND-FUNCTIONS)
- Variables
- (UNREAD-CHAR-AFTER-PEEK-CHAR)
- Input from Character
- (VARIABLE-LIST-ASYMMETRY)
- Establishing New Variable
Establishing New Variable
Establishing New Variable
General Iteration
- (WITH-COMPILATION-UNIT)
- The Compiler
- (WITH-OPEN-FILE-DOES-NOT-EXIST)
- Opening and Closing
- (WITH-OUTPUT-TO-STRING-APPEND-STYLE)
- Creating New Streams
- (ZLOS-CONDITIONS)
- Conditions
Condition Types
Printing Conditions
Defining Conditions
Predefined Condition Types
- #\macro character
- Standard Dispatching Macro
- ) macro character
- Macro Characters
-
macro character
- Macro Characters
- ; macro character
- Macro Characters
- array
- Arrays
- catch
- Dynamic Non-Local Exits
- character syntax
- Standard Dispatching Macro
- cleanup handler
- Dynamic Non-Local Exits
- closure
- Reference
- comments
- Macro Characters
- cons
- Lists and Conses
- dynamic exit
- Dynamic Non-Local Exits
- formatted output
- Formatted Output to
- implicit progn
- Control Structure
General Iteration
- integer
- Integers
- iteration
- Iteration
- lambda-expression
- Lambda-Expressions
- macro character
- Macro Characters
- mapping
- Mapping
- multiple values
- Multiple Values
- non-local exit
- Dynamic Non-Local Exits
- parsing
- Macro Characters
- print name
- Strings
- printed representation
- Printed Representation of
- printer
- Printed Representation of
- querying the user
- Querying the User
- ratio
- Ratios
- rational
- Ratios
- reader
- Printed Representation of
What the Read
- readtable
- The Readtable
- sorting
- Sorting and Merging
- substitution
- Substitution of Expressions
- throw
- Dynamic Non-Local Exits
- unwind protection
- Dynamic Non-Local Exits
- yes-or-no functions
- Querying the User
AI.Repository@cs.cmu.edu