lesnitsky / 0110011001110000

1 stars 1 forks source link

Binary Tree #20

Open DaQuirm opened 4 years ago

DaQuirm commented 4 years ago

Write a type for binary trees based on Scott encoding from #14

Derive Show and Eq instances.

Write the length function (empty trees are zero-length).