Re:What Color Is Your Monad
by shirogane86x on Thursday February 17, 2022 @02:39PM
(#30377656)
I see that scala(z)'s operators are adapted from haskell which seems to make it quite nice, although I don't know the finer details.
Also thanks for letting me know about the escaping, sadly I can't edit the comment anymore
* https://eed3si9n.com/learning-scalaz/Applicative.html
I know the Haskell operators, but the Idris syntax are new to me.
BTW * has to be escaped with a \.