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?
@geophf The key thing to remember is that just because something is valid Haskell doesn't make it valid Idris...
-
-
@edwinbrady Yessir, I'm working on learning me#Idris for greater good. It's a fun trip, even as I fall back onto my (Haskell) comfort-zonesThanks. 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.