Renamed demo.purs to Demo.purs