diff options
| author | Eduardo Julian | 2022-04-04 22:47:56 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2022-04-04 22:47:56 -0400 |
| commit | 14f18c100c2f8c3ec9c60c14330d926cd2d6f639 (patch) | |
| tree | a033abb73d7d6ca51878df76df7732e977dfabe3 /documentation/bookmark/type_theory | |
| parent | 8eb86ed366b2305751f2e831c7a081ffcca82c89 (diff) | |
Properly handling variance for arrays to avoid invalid subtyping.
Diffstat (limited to 'documentation/bookmark/type_theory')
| -rw-r--r-- | documentation/bookmark/type_theory/unit.md | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/documentation/bookmark/type_theory/unit.md b/documentation/bookmark/type_theory/unit.md index cf23e396c..1a82ddf66 100644 --- a/documentation/bookmark/type_theory/unit.md +++ b/documentation/bookmark/type_theory/unit.md @@ -1,5 +1,6 @@ # 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) +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) |