
<html><head></head><body><div style="color:#000; background-color:#fff; font-family:HelveticaNeue, Helvetica Neue, Helvetica, Arial, Lucida Grande, sans-serif;font-size:16px"><div id="yui_3_16_0_1_1457106743999_2796" dir="ltr">Hi</div><div id="yui_3_16_0_1_1457106743999_2836" dir="ltr">Agda doesn't permit \lambda as a type constructor! I wanted to define a type "lambda-terms" and chose Agda because it supports Unicode.<br></div><div id="yui_3_16_0_1_1457106743999_2795"><br></div></div></body></html>