History of DH (Dependent Types in Haskell) contributions

Has there been more announcements or visible material of any kind ( such as public forks of GHC , comments on issues or merge requests , etc ) relating to dependent haskell, since you shared : ghc.serokell.io/dh on this thread, last year?