[HurrdurrHodor]

I think this needs a bit more motivation (why do I want to know about BDDs) and more pictures. The code is great for playing with things and remembering better but the fundamental concepts would be clearer with more pictures.

[abecedarius]

Yes, I agree -- I ran out of time trying to get the animations I wanted with d3.js. Thanks for the feedback.

[SonOfLilit]

Maybe circuit diagrams of both kinds of adders and "by the end of this article we will prove that these are equivalent for all 2^192 possible inputs"?