quantities
Type-safe physical computations and unit conversions in Idris ⚖ 🌡 ⏲ 🔋 📐
157 stars
12 watching
11 forks
Language: Idris
last commit: over 5 years ago
Linked from 1 awesome list
type-safetyunit-conversionunits-of-measure
joaomilho/awesome-idris