@dpwiz What are catamorphisms ? Also, what's this «Base» type constructor ?
Follow

@alice catamorphisms are folds for functor-encoded structures.

Sign in to participate in the conversation
Mastodon

Server run by the main developers of the project 🐘 It is not focused on any particular niche interest - everyone is welcome as long as you follow our code of conduct!