Semi-DT in Haskell is better than waiting 15 years for DT community to develop an industrial strength compiler http://ro-che.info/articles/2014-09-05-dependent-haskell …
-
-
@edwinbrady which is *exactly* what Ulf said about agda in the tutorial on Thursday. /@jonsterling@steshaw@smdiehl@shebangThanks. 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.