Wire Sorts

Preview

Michael discussed the work he did over the summer, including his time at Facebook working on the Hack typechecker and error reporter, his paper on formalizing properties of wires in hardware description languages, and the ongoing work of implementing RISC-V in PyRTL for LBL.