Haskell or Idris for personal dev? I’m leaning towards idris
@Taulmarill @aloiscochard @channingwalton I keep hoping someone will implement unicode strings... 'hope' isn't a good methodology though :)
-
-
@edwinbrady I wouldn't say it's necessary a bad one: I don't expect you to impl the full std-lib! /cc @Taulmarill@channingwaltonThanks. 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.