Type-safe physical computations and unit conversions in Idris ⚖ 🌡 ⏲ 🔋 📐
Primary LanguageIdrisMIT LicenseMIT
No one’s star this repository yet.