Tony Finch
dot@dotat.at
https://dotat.at/
https://dotat.at/:/26HAG.html
2013-12-28T23:40:00Z
Quantities: type-safe units of measurement for Idris.
2013‑12‑28
Quantities: type-safe units of measurement for Idris.
https://github.com/timjb/quantities
redirect
https://dotat.at/:/26HAG
blurb
https://dotat.at/:/26HAG.html
atom entry
https://dotat.at/:/26HAG.atom
wayback machine
web.archive.org
]]>