<input id="PARSE" value="Normalize" type="button">
<input id="ETA" type="checkbox">do eta-reductions too
<noscript><p>You may not see it because you have JavaScript turned off. Uffff!</p></noscript>
<input id="PARSE" value="Normalize" type="button">
<input id="ETA" type="checkbox">do eta-reductions too
<noscript><p>You may not see it because you have JavaScript turned off. Uffff!</p></noscript>