(index ("k" 0) ("room-temperature" 117) ("heat" 292))
(def (sig (constant "k → 1.38e-23" (id k))) (p "The Boltzmann constant") (highlight scheme "(define k 1.38e-23)"))
(def (sig (parameter "room-temperature → 298.15" (id room-temperature))) (p "Room temperature in K") (highlight scheme "(define room-temperature (make-parameter 298.15))"))
(def (sig (procedure "(heat operations) → number" (id heat))) (p "Calculate a lower-bound on the heat dissipated by some number of irreversible bit-operations.") (p "Room-temperature is governed by the " (int-link "#room-temperature" "room-temperature") " parameter.") (dl (dt (tt "operations")) (dd "The number of irreversible bit-operations")) (highlight scheme "(define (heat operations) (* operations k (room-temperature) (log 2)))"))
