| Mon, 26 Jul 2010 11:09:44 +0200 | haftmann | use Natural as index type for Haskell and Scala | file | diff | annotate |
| Fri, 16 Jul 2010 15:28:22 +0200 | haftmann | first roughly working version of Imperative HOL for Scala | file | diff | annotate |
| Fri, 16 Jul 2010 13:58:29 +0200 | haftmann | a first sketch for Imperative HOL witht Scala | file | diff | annotate |
| Wed, 14 Jul 2010 17:15:58 +0200 | haftmann | repaired some implementations of imperative operations | file | diff | annotate |