Index - E
| elaborate | Plugin |
| Error | Cornelis.Types.Agda |
| es_hlgroup | Cornelis.Types |
| es_interval | Cornelis.Types |
| es_mark | Cornelis.Types |
| ExtendedLambda | Cornelis.Types |
| Extmark | |
| 1 (Type/Class) | Cornelis.Types |
| 2 (Data Constructor) | Cornelis.Types |
| ExtmarkStuff | |
| 1 (Type/Class) | Cornelis.Types |
| 2 (Data Constructor) | Cornelis.Types |
| extract | Cornelis.Subscripts |