search

anoma / juvix-stdlib

The Juvix standard library
https://anoma.github.io/juvix-stdlib/
10 stars 1 forks source link

Export for and rfor from Foldable #116

Closed paulcadman closed 2 months ago

paulcadman commented 2 months ago

This change means that for and rfor will be in scope after import Stdlib.Prelude open which is what users expect from tutorials and existing code.