Search results

foldable

Fold iterable data

• foldable
• fold
• reduce
• reducing

brandonchartier

published 0.0.1 • 5 years agopublished 0.0.1 5 years ago

fold-ts

experimental fold implementation

• existential
• fold
• foldable
• quantification
• reduce
• typescript

wilfreddenton

published 0.1.6 • 5 years agopublished 0.1.6 5 years ago

agda-explore

Big operators as exploration functions in Agda

• agda
• library
• big-operators
• fold
• foldable

np

published 0.0.1 • 9 years agopublished 0.0.1 9 years ago