3 ms·
I just wrote up a post describing this idea in Haskell http://tel.github.io/2014/08/04/codata_diagonalization/ http://tel.github.io/2014/08/04/codata_diagonaliz
by tel 12y ago
I just wrote up a post describing this idea in Haskell http://tel.github.io/2014/08/04/codata_diagonalization/ http://tel.github.io/2014/08/04/codata_diagonalization/