PHP listitem_gen Examples

Example #1

File: ATS2TUTORIAL-CODE.php Project: Charon-Shi/ATS-Postiats

<?php 
listitem_gen('chap_extvar.dats');
?>
</ul>

<h2>Linear Closure-Functions</h2>
<ul>
<?php 
listitem_gen('chap_cloptr.dats');
?>
</ul>

<h2>Linear Stream-Based Lazy Evaluation</h2>
<ul>
<?php 
listitem_gen('chap_stream_vt.dats');
?>
</ul>

<hr></hr>

<table>
<tr>
<td style="width: 100%;">
This page is created with
<a href="http://www.ats-lang.org">ATS</a>
by
<a href="http://www.cs.bu.edu/~hwxi/">Hongwei Xi</a>
and also maintained by
<a href="http://www.cs.bu.edu/~hwxi/">Hongwei Xi</a>.
</td>

Example #2

File: INT2PROGINATS-CODE.php Project: Charon-Shi/ATS-Postiats

<?php 
listitem_gen('CHAP_THMPRVING', 'misc.dats');
listitem_gen('CHAP_THMPRVING', 'tree.dats');
listitem_gen('CHAP_THMPRVING', 'brauntree.dats');
?>
</ul>

<hr></hr>

<h2>Chapter: Programming with Theorem-Proving</h2>
<ul>
<?php 
listitem_gen('CHAP_PRGTHMPRV', 'misc.dats');
listitem_gen('CHAP_PRGTHMPRV', 'ifact.dats');
listitem_gen2('CHAP_PRGTHMPRV', 'ifact.dats');
listitem_gen('CHAP_PRGTHMPRV', 'ifact23.dats');
listitem_gen2('CHAP_PRGTHMPRV', 'ifact23.dats');
?>
</ul>

<hr></hr>

<table>
<tr>
<td style="width: 100%;">
This page is created with
<a href="http://www.ats-lang.org">ATS</a>
by
<a href="http://www.cs.bu.edu/~hwxi/">Hongwei Xi</a>
and also maintained by
<a href="http://www.cs.bu.edu/~hwxi/">Hongwei Xi</a>.