hlist icon indicating copy to clipboard operation
hlist copied to clipboard

verified publisher icon Sgeo
→

Metadata

Type-level heterogeneous list, and indexing that, when coupled with type inference, approximates type-directed search

hlist

Type-level heterogeneous list, and indexing that, when coupled with type inference, approximates type-directed search

← Metadata

18
Stars
3
Forks
Watchers

Owner

verified publisher icon Sgeo

Metadata

Type-level heterogeneous list, and indexing that, when coupled with type inference, approximates type-directed search

Back