Name		Name	Last commit message	Last commit date
src		src
.gitignore		.gitignore
Cargo.toml		Cargo.toml
LICENSE		LICENSE
README.md		README.md

Repository files navigation

hlist

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

About

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

17 stars

2 watching

Report repository

Releases

Packages

Used by

Contributors

Languages