February 17, 2015. Functions (defn) have (1) a static type signature and (2) an implementation You can define them seperately type signature -> defmulti implementation -> defmethod Thus, you can have multiple defmethods per defmulti. However, you cannot have: defmulti a(x:?) -> ? defn a(x:Int) -> Int because it is unclear which to call (2 matching static type signatures) TODO Read initialization spec TODO Read through make-explicit-reset TODO If you feel up for it, rewrite make-explicit-reset TODO If you feel up for it, read through initialize-registers TODO Make stanza a git repo Write installation instructions for stanza Need 2 different prints, one with IR-internal information, and another that matches correct FIRRTL