doctor-pi/quantities
Type-safe physical computations and unit conversions in Idris β π‘ β² π π
IdrisMIT
Watchers
No oneβs watching this repository yet.
Type-safe physical computations and unit conversions in Idris β π‘ β² π π
IdrisMIT
No oneβs watching this repository yet.