a demo project in happyfi