History of DH (Dependent Types in Haskell) contributions

GHC changelog answers this question Developer Blog Posts — The Glasgow Haskell Compiler afaict, nothing significant. but GHC in the last year imo has been marked by a maturation not at the type level but at the low level. wasm/JS backends have improving. Windows toolchain rework. ghci improvements. Along with some simpler but fun new extensions (or patterns!) Progress