Haskell 經過惰性計算來實現廣度優先編號 Breadth-first Numbering

The code that follows sets up the defining system of equations:node Streams (infinite lists) of labels are used as a mediating data structure to allow equations to be set up between adjacent nodes wit

>>阅读原文<<