Emma Tye
Results
1
comments of
Emma Tye
That's great, thanks! Is there an equivalent to Haskell's lens `(??)` in Idris2? See [`Control.Lens.Lens.(??)`](https://hackage-content.haskell.org/package/lens-5.3.5/docs/Control-Lens-Lens.html#v:-63--63-) ```haskell (??) :: Functor f => f (a -> b) -> a -> f b...