Tony Finch dot@dotat.at https://dotat.at/ https://dotat.at/:/D3EMA.html 2025-03-03T15:42:02Z 2024-11-20T10:57:12Z Ghosts of departed proofs. (functional pearl)
  • 2024‑11‑20 - Ghosts of departed proofs. (functional pearl)
  • https://iohk.io/en/research/library/papers/ghosts-of-departed-proofs-functional-pearls/
  • redirect https://dotat.at/:/D3EMA
  • blurb https://dotat.at/:/D3EMA.html
  • atom entry https://dotat.at/:/D3EMA.atom
  • web.archive.org archive.today
    • ]]>