How do i write a function that counts the number of leaves in a tree?

Antonio G

New member
The notation is L#:Tr->N, where Tr is tree and N is natural numbers. I know its reads, function L# with Tr domain and range of N but i can't figure out the function that computes the number of leaves.
 
Back
Top