@edwinbrady First, thanks for #IdrisLang. A q.: does a basic #Haskell knowledge suffice to learn it or better raise H. skills before?
-
-
@edwinbrady Thanks so much from valuable reply: directly from#IdrisLang author! :) I'm fascinated by dependent types and care put in ... -
@edwinbrady ...other features like management of effects and much goodness I'm still here to study and discover.Again,thanks for#IdrisLang!
End of conversation
New conversation -
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.