@edwinbrady Isn't [| (f x) |] supposed to reduce to pure (f x)?
@dblhelix Hmm. I expect Idris will consider that the same as [| f x |]. This might not be right.
-
-
@edwinbrady It indeed seems to discard the parentheses before it engages in expanding the idiom brackets.Thanks. Twitter will use this to make your timeline better. UndoUndo
-
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.