documentation/bookmark/type_theory/unit.md


1
2
3
4
5
6

# Reference

0. [mp-units - A Units Library for C++](https://github.com/mpusz/units)
0. https://en.wikipedia.org/wiki/Metric_prefix#Metric_units
0. [unittyped: An extendable library for type-safe computations including units.](https://hackage.haskell.org/package/unittyped)