This repository has been archived by the owner on Mar 14, 2024. It is now read-only.

Commits

History for

Commits on Jun 16, 2020

add LICENSE and a bit of commentary
Bryan C. Mills
committed

Commits on Jun 11, 2020

map: factor out AppendMapped
Bryan C. Mills
committed
map: fix typo in comment
Bryan C. Mills
committed

Commits on Jun 10, 2020

add examples for Map contravariance and MapTo (generalization of Map + Copy, since Copy alone doesn't work)
Bryan C. Mills
committed

Loading