Sam Ritchie

Okay, I made a bunch of notes on how to do this in Slack before realizing I should copy them over. Here we go! @teodorlu, for when you’re around, I’m...

@teodorlu , I'm assigning this to you, which gives you full license to ask me any questions you like! This is really exciting.

More prior art, with types, in haskell! http://hackage.haskell.org/package/dimensional

@teodorlu absolutely! Please let me know if you need any help here.

@teodorlu , good questions! The main thing to note (which we'll look at together) is that `&` is a function in scmutils: ```scheme ;;; & is used to attach units...

```clojure (defn *units [u1 u2] (cond (unitless? u1) u2 (unitless? u2) u1 :else ;; okay, maybe have a nicer error here... NOTE that we can avoid this ;; by making...

```clojure (deftype Unit [exponents v scale] ,,) ```

These should be installed in the complex namespace, I think. On Tuesday, January 25, 2022, Adam Haber ***@***.***> wrote: > What would be the best place to put this functionality...

I've started this over in #262 - I've got `=` plugged in. Next I'll generalize to handle the other comparison operators.

@hcarvalhoalves , I have come around to the idea that we want special constructors for this — maybe `sym:=` or something, but not `=`. it would be too easy to...