https://sourceforge.net/p/tolambda/wiki/Home/Recent changes to HomeenSat, 09 Nov 2013 21:22:14 -0000https://sourceforge.net/p/tolambda/wiki/Home/<div class="markdown_content"><h2 id="inputoutput">Input/output</h2> <p>Three text areas are used to interact with the user :<br /> - First one is used to input an expression in a high-level functional language (OCaml)<br /> - Second one is used to input or output a lambda-expression (cf. <span>[lambda-expressions syntax]</span>).<br /> - Third one is used to output reduction steps or result.</p> <h2 id="translation">Translation</h2> <p>Button "&gt;&gt;&gt;" is used to transform the expression contained in the upper text area. The resulting expression is put into the text area below the button.</p> <h2 id="options">Options</h2> <p>Options can be selected by using drop-down lists.</p></div>Eric ViolardSat, 09 Nov 2013 21:22:14 -0000https://sourceforge.netf31c73416397c0d208cff494fba78eaeb702067chttps://sourceforge.net/p/tolambda/wiki/Home/<div class="markdown_content"><p>Welcome to your wiki!</p> <p>This is the default page, edit it as you see fit. To add a new page simply reference it within brackets, e.g.: <span>[SamplePage]</span>.</p> <p>The wiki uses <a class="" href="/p/tolambda/wiki/markdown_syntax/">Markdown</a> syntax.</p> <p><h6>Project Members:</h6> <ul class="md-users-list"> <li><a href="/u/violard/">Eric Violard</a> (admin)</li> </ul><br /> </p><p><span class="download-button-527b4ebaea406b50bc0205ce" style="margin-bottom: 1em; display: block;"></span></p></div>Eric ViolardThu, 07 Nov 2013 08:26:34 -0000https://sourceforge.net2ea52cab875abc09ae7b6227afa651da3562a59f