quantities
quantities copied to clipboard
Published
20 hours ago •
timjb
timjb
Type-safe physical computations and unit conversions in Idris ⚖ 🌡 ⏲ 🔋 📐
Results
1
quantities issues
Sort by
recently updated
recently updated
newest added
