measures-with-dimensions

based on measures, but with dimensions and types

Build status: ok passing tests missing license metadata

Authors
Documentation
Tags
License
Last updatedSaturday, July 18th, 2020 1:43:55am (UTC)
Ring1
ConflictsNone
Dependencies
Most recent build results
Version Exceptions
VersionSourceChecksum
defaulthttps://github.com/AlexKnauth/measures-with-dimensions.git#mainfc6c78f79ac89cf488a5ccc5fc20391bd254886c
Last checkedFriday, May 17th, 2024 10:06:14am (UTC)
Last editedFriday, July 17th, 2020 9:06:11pm (UTC)
Date addedFriday, July 17th, 2020 9:06:11pm (UTC)
Modules
  • typed/measures-with-dimensions/docs/short/US.scrbl
  • typed/measures-with-dimensions/docs/short/SI.scrbl
  • typed/measures-with-dimensions/temperature.rkt
  • measures-with-dimensions/temperature.rkt
  • typed/measures-with-dimensions/chemistry/element-struct.rkt
  • typed/measures-with-dimensions/measures/typed-operations.rkt
  • typed/measures-with-dimensions/measures/measure-types.rkt
  • typed/measures-with-dimensions/docs/chemistry/molar-mass.scrbl
  • typed/measures-with-dimensions/preds.rkt
  • typed/measures-with-dimensions/chemistry/molar-mass.rkt
  • typed/measures-with-dimensions/measures/measure-struct.rkt
  • typed/measures-with-dimensions/docs/operations-types-structs.scrbl
  • typed/measures-with-dimensions/units/unit-struct.rkt
  • typed/measures-with-dimensions/measures.rkt
  • typed/measures-with-dimensions/dimensions/dimensions.rkt
  • typed/measures-with-dimensions/docs/physical-constants.scrbl
  • typed/measures-with-dimensions/units/units.rkt
  • typed/measures-with-dimensions/dimensions/dimension-struct.rkt
  • typed/measures-with-dimensions/temperature/temperature-functions.rkt
  • typed/measures-with-dimensions/dimensions.rkt
  • typed/measures-with-dimensions/vector-operations.rkt
  • typed/measures-with-dimensions/chemistry/misc.rkt
  • typed/measures-with-dimensions/docs/chemistry/compounds.scrbl
  • typed/measures-with-dimensions/measures/physical-constants.rkt
  • typed/measures-with-dimensions/chemistry/elements.rkt
  • typed/measures-with-dimensions.rkt
  • typed/measures-with-dimensions/defmulti.rkt
  • typed/measures-with-dimensions/old/main.rkt
  • typed/measures-with-dimensions/units/unit-operations.rkt
  • typed/measures-with-dimensions/relativity/beta-gamma.rkt
  • typed/measures-with-dimensions/docs/measures-with-dimensions.scrbl
  • measures-with-dimensions/main.rkt
  • typed/measures-with-dimensions/relativity/lorentz-transform.rkt
  • typed/measures-with-dimensions/chemistry.rkt
  • typed/measures-with-dimensions/short/US.rkt
  • typed/measures-with-dimensions/units.rkt
  • typed/measures-with-dimensions/docs/temperature.scrbl
  • typed/measures-with-dimensions/measures/0-1-measures.rkt
  • typed/measures-with-dimensions/chemistry/compound-struct.rkt
  • typed/measures-with-dimensions/measures/typed-operations-1.rkt
  • typed/measures-with-dimensions/dimensions/dimension-operations.rkt
  • typed/measures-with-dimensions/measures/untyped-operations.rkt
  • typed/measures-with-dimensions/docs/deftype.rkt
  • typed/measures-with-dimensions/docs/short-names.scrbl
  • typed/measures-with-dimensions/temperature/match-expanders.rkt
  • typed/measures-with-dimensions/untyped-utils.rkt
  • typed/measures-with-dimensions/docs/chemistry/elements.scrbl
  • typed/measures-with-dimensions/short/SI.rkt
  • measures-with-dimensions/chemistry.rkt
  • typed/measures-with-dimensions/exact-tau-pi-eta.rkt
  • typed/measures-with-dimensions/docs/chemistry.scrbl
  • typed/measures-with-dimensions/docs/units-and-dimensions.scrbl
  • typed/measures-with-dimensions/chemistry/compound.rkt