TTF.scala

type Signal = LazyList[Boolean]
def inv(xs: => Signal): Signal = xs map { ! _ }
def reg(init: => Boolean, d: => Signal): Signal = init #:: d

val tff: Signal = {
  def d: Signal = inv(q)
  def q: Signal = reg(false, d)
  q
}

tff take 10 foreach println