[Agda] Enumeration of Binary Trees
zhyltsovd at gmail.com
Sun Apr 7 19:54:02 CEST 2013
Hi, Agda list.
I would like to share some code with you. Binary tree enumeration procedure
is defined and verified. It is typical combinatorial problem, and I just
wondered how hard it could be to define and reason about it in Agda. As far
as I know, it hasn't been done before. Please, let me know if it's not
It is available here: https://github.com/zhyltsovd/agda-btree-enumeration
I hope somebody finds it useful.
All improvement suggestions are welcomed.
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the Agda