Closed prescientmoon closed 1 year ago
Similar has happened with >>=
that I wasn't seeing originally. I'll take a look at it na.
@Mateiadrielrafael can you test main
I believe this commit should cover it.
Seems to work
A similar issue occurs with ==>
.
>>=
as well I believe. I'm not yet entirely sure how the Haskell/Idris/OCaml concealers are doing it when the code is basically copypasta.
The conceal for lambdas happens even if I use the tuple operator (/\), which looks weird: