The following list contains some mini-projects that can be completed within a few hours:

<ul>

<li> Piecewise linear curves: <a href="MiniProjects/curves.pdf">curve.pdf</a>.
<br>

<li> A simple lambda-calculus interpreter: <a href="MiniProjects/lambdaInterpreter.pdf">lambdaInterpreter.pdf</a> and <a href="MiniProjects/lambdaIntpSkeleton.fsx">ProgramSkeleton.fsx</a>

<li> A simple mini-project concerning <a href="MiniProjects/MiniSat.pdf">satisfiability of Boolean formulas</a>. 
<br>

</ul>