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

>>阅读原文<<