Tony Finch dot@dotat.at https://dotat.at/ https://dotat.at/:/ILQ9O.html 2026-07-16T17:42:02Z 2026-07-15T23:24:33Z An overview of language features and implementation tasks that contribute towards the goal of adding dependent types to Haskell.
  • 2026‑07‑15 - An overview of language features and implementation tasks that contribute towards the goal of adding dependent types to Haskell.
  • https://ghc.serokell.io/dh
  • redirect https://dotat.at/:/ILQ9O
  • blurb https://dotat.at/:/ILQ9O.html
  • atom entry https://dotat.at/:/ILQ9O.atom
  • web.archive.org archive.today
    • ]]>