Functions to Junctions: Ultra Low Power Chip Design With Some Help From Haskell.