adt
adt
Code style
Fix fold implementation. Add some test cases. Add comments when implementation is wrong.
fix inferred types
Use paradise compiler plugin
fix fold
code style
Merge branch 'adt'