Tony Finch dot@dotat.at https://dotat.at/ https://dotat.at/:/X81X0.html 2025-07-12T08:42:01Z 2025-06-11T22:54:50Z Idris 2: quantitative type theory in practice.
  • 2025‑06‑11 - Idris 2: quantitative type theory in practice.
  • https://arxiv.org/abs/2104.00480
  • redirect https://dotat.at/:/X81X0
  • blurb https://dotat.at/:/X81X0.html
  • atom entry https://dotat.at/:/X81X0.atom
  • web.archive.org archive.today
    • ]]>