ML project; track Haskell commits to see how type errors were resolved by developer. Use that result to suggest better type error messages.
-
-
@dibblego interesting project idea, really. Like to see how these heuristic nature of ML compares with more deterministic methodsThanks. 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.