Tony Finch dot@dotat.at https://dotat.at/ https://dotat.at/:/9PU53.html 2026-05-06T08:42:02Z 2026-05-05T18:00:12Z A bidirectional typechecking puzzle in the Grace programming language.
  • 2026‑05‑05 - A bidirectional typechecking puzzle in the Grace programming language.
  • https://haskellforall.com/2026/05/a-bidirectional-typechecking-puzzle
  • redirect https://dotat.at/:/9PU53
  • blurb https://dotat.at/:/9PU53.html
  • atom entry https://dotat.at/:/9PU53.atom
  • web.archive.org archive.today
    • ]]>