The Baby Paradox in Haskell (via abhin4v) — discussion

#formalmethods #haskell