Index - U
| Unit | Cornelis.Offsets |
| Unknown | Cornelis.Types |
| UnknownDisplayInfo | Cornelis.Types |
| unparse | Cornelis.Subscripts |
| unparseWith | Cornelis.Subscripts |
| unvimify | Cornelis.Vim |
| updateLineIntervals | Cornelis.Highlighting |
| UseForce | Cornelis.Types.Agda |
| UseShowInstance | Cornelis.Types.Agda |