Pi-Ware: Hardware Description and Verification in Agda. - João Paulo Pizani Flor; Wouter Swierstra; Yorick Sijsling (TYPES, 2015)