documentation/bookmark/type_theory/unit.md


1
2
3
4
5

# Reference

1. https://en.wikipedia.org/wiki/Metric_prefix#Metric_units
1. [unittyped: An extendable library for type-safe computations including units.](https://hackage.haskell.org/package/unittyped)