search

well-typed / generics-sop

Generic Programming using True Sums of Products
BSD 3-Clause "New" or "Revised" License
157 stars 48 forks source link

Doctest #139

Open kosmikus opened 3 years ago

kosmikus commented 3 years ago

Makes it easier to use for me locally (and more difficult to forget).