https://github.com/timjb/quantities
Idris155
5 years ago
Type-safe physical computations and unit conversions in Idris ⚖ 🌡 ⏲ 🔋 📐
MIT License