TODO demo

defrec todo(items) {
  <html>
   <body>
    <h1>Items to do</h1>
    <form l:action={todo( [new] :: items)} method="POST">
      <input l:name="new" type="text" size="40"/>
      <input type="submit" value="add new item"/>
    </form>
    <table>{
      [<tr><td>{[item]}</td>
           <td><form l:action={todo(remove(item, items))} method="POST">
                  <input type="submit" value="done"/>
               </form>
           </td>
       </tr> | item <- items]
    }</table>
   </body>
  </html>
};

todo([])