Properties.idr 1.94 KB