Hacker News new | ask | show | jobs
by ReleaseCandidat 1106 days ago
For anybody interested in the details, here is the last report of the ongoing implementation of dependent types in GHC: https://discourse.haskell.org/t/ghc-dh-weekly-update-6-2023-...