History of DH (Dependent Types in Haskell) contributions

From a quick search, there seems to be no mention of dependent types in the last 14 months in the ghc developer blog. Is the latest developement of dependent haskell, the timeline mentioned earlier ? ( Dependent Haskell Roadmap ) That was 13 months ago