Search results

fold-ts

experimental fold implementation

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

wilfreddenton

published 0.1.6 • 4 years agopublished 0.1.6 4 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