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 |