GitHub repository: phadej/foldable1
Primary language: HTML
Created: 2019-10-17T12:47:02Z
Description: Class of non-empty data structures that can be folded to a summary value.