multivariable let-binding in #Idris? I try
foo : Int
foo = let x = 1 + 2
y = 3 + 4
in x + y
and get an error. Feature request?
-
-
@edwinbrady Ooh! THIS looks like a tough one for me to patch and simple for someone to can patch the grammar/semantics... Any volunteers? ;) -
@geophf The key thing to remember is that just because something is valid Haskell doesn't make it valid Idris... - 1 more reply
New conversation -
-
-
@edwinbrady Thank you for the the suggestion ... I'll use this until I can improve my own (yucky-looking) code. (Too many 'let's. Bleh!)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.