search

data-centric-computing / dcic-public

Repository for (for now) filing bug reports about DCIC.
21 stars 2 forks source link

[DCIC Book]: make trees consistent #44

Closed shriram closed 9 months ago

shriram commented 1 year ago

Contact Details

shriram@gmail.com

Which Web page has the problem?

https://dcic-world.org/2022-08-28/size-of-dag.html

What's the problem?

The content that introduces DAGs uses 

data BinTree:
  | leaf
  | node(v, l :: BinTree, r :: BinTree)
end

whereas the size of DAG content uses

data BT:
  | mt
  | nd(v :: Number, l :: BT, r :: BT)
end

Be consistent!

What browser are you seeing the problem on?

No response

shriram commented 9 months ago

https://github.com/shriram/dcic-source/commit/195fc567b7804783c30ee42ecb522d5c5fe53b79