measures-with-dimensions

based on measures, but with dimensions and types

Build status: ok passing tests

Authors
Documentation
Tags
Last updatedFriday, December 16th, 2016 5:03:48pm (UTC)
Ring1
ConflictsNone
Dependencies
Most recent build results
Versions
VersionSourceChecksum
defaultgit://github.com/AlexKnauth/measures-with-dimensions78d370684a430a673a96c24dbd5f112651bc5f2b
Last checkedThursday, May 25th, 2017 10:07:38pm (UTC)
Last editedSaturday, January 3rd, 2015 11:48:28pm (UTC)
Modules
  • typed/measures-with-dimensions/relativity/beta-gamma.rkt
  • measures-with-dimensions/temperature.rkt
  • typed/measures-with-dimensions/measures/measure-struct.rkt
  • typed/measures-with-dimensions/docs/temperature.scrbl
  • measures-with-dimensions/main.rkt
  • typed/measures-with-dimensions/chemistry/misc.rkt
  • typed/measures-with-dimensions/units.rkt
  • typed/measures-with-dimensions/vector-operations.rkt
  • typed/measures-with-dimensions/dimensions/dimensions.rkt
  • typed/measures-with-dimensions/chemistry/element-struct.rkt
  • measures-with-dimensions/chemistry.rkt
  • typed/measures-with-dimensions/chemistry/elements.rkt
  • typed/measures-with-dimensions/docs/short-names.scrbl
  • typed/measures-with-dimensions/measures/typed-operations.rkt
  • typed/measures-with-dimensions/measures/measure-types.rkt
  • typed/measures-with-dimensions/docs/measures-with-dimensions.scrbl
  • typed/measures-with-dimensions/docs/operations-types-structs.scrbl
  • typed/measures-with-dimensions/exact-tau-pi-eta.rkt
  • typed/measures-with-dimensions/temperature.rkt
  • typed/measures-with-dimensions/units/unit-struct.rkt
  • typed/measures-with-dimensions/measures/untyped-operations.rkt
  • typed/measures-with-dimensions/docs/short/SI.scrbl
  • typed/measures-with-dimensions/measures.rkt
  • typed/measures-with-dimensions/units/unit-operations.rkt
  • typed/measures-with-dimensions/docs/deftype.rkt
  • typed/measures-with-dimensions/measures/typed-operations-1.rkt
  • typed/measures-with-dimensions/chemistry/molar-mass.rkt
  • typed/measures-with-dimensions/units/units.rkt
  • typed/measures-with-dimensions/dimensions/dimension-operations.rkt
  • typed/measures-with-dimensions/temperature/match-expanders.rkt
  • typed/measures-with-dimensions/docs/chemistry/compounds.scrbl
  • typed/measures-with-dimensions/measures/0-1-measures.rkt
  • typed/measures-with-dimensions/untyped-utils.rkt
  • typed/measures-with-dimensions/temperature/temperature-functions.rkt
  • typed/measures-with-dimensions/docs/units-and-dimensions.scrbl
  • typed/measures-with-dimensions/measures/physical-constants.rkt
  • typed/measures-with-dimensions/short/US.rkt
  • typed/measures-with-dimensions/chemistry.rkt
  • typed/measures-with-dimensions/docs/short/US.scrbl
  • typed/measures-with-dimensions/docs/chemistry.scrbl
  • typed/measures-with-dimensions/defmulti.rkt
  • typed/measures-with-dimensions/short/SI.rkt
  • typed/measures-with-dimensions/docs/physical-constants.scrbl
  • typed/measures-with-dimensions/dimensions/dimension-struct.rkt
  • typed/measures-with-dimensions/docs/chemistry/elements.scrbl
  • typed/measures-with-dimensions/dimensions.rkt
  • typed/measures-with-dimensions/preds.rkt
  • typed/measures-with-dimensions/chemistry/compound-struct.rkt
  • typed/measures-with-dimensions/old/main.rkt
  • typed/measures-with-dimensions.rkt
  • typed/measures-with-dimensions/chemistry/compound.rkt
  • typed/measures-with-dimensions/relativity/lorentz-transform.rkt
  • typed/measures-with-dimensions/docs/chemistry/molar-mass.scrbl