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

Generalise type signatures of cata- and anamorphisms. #150

Closed kosmikus closed 2 years ago

kosmikus commented 2 years ago

Replaces / integrates #144.