User:IssaRice/Understanding definitions
| Step | Description | Purpose | Example |
|---|---|---|---|
| Type-checking and parsing | |||
| Checking assumptions of objects introduced | Remove or alter each assumption of the objects that have been introduced in the definition to see why they are necessary. | ||
| Writing out a wrong version of the definition | |||
| Understand the kind of definition | |||
| If the definition defines an operations, check that it is well-defined |