<div dir="ltr"><div><div><div><div>Hi,<br><br>The option:<br>{-# OPTIONS --postfix-projections #-}<br><br></div>turns on postifix-projections (agda head/master from github).<br><br></div>I guess there is no option to turn OFF postfix-projections?<br><br></div>Regards,<br><br></div><div>Stephan A.<br></div></div>