Changes related to "Catamorphism"
This is a list of recent changes to pages linked from a specified page (or to members of a specified category). Changes to pages on your watchlist are shown with a green bullet.
20 July 2017
- (diff | hist) . . Algebraic data type; 07:31 . . (+41) . . 126.96.36.199 (Add Idris to the list of languages that have first-class ADTs)