Type-safe physical computations and unit conversions in Idris ⚖ 🌡 ⏲ 🔋 📐
updated at May 11, 2024, 3:16 a.m.
12 +0
157 +0
11 +0