| Thu, 26 Aug 2010 10:16:22 +0200 |
haftmann |
code_include Scala: qualify module nmae
|
file |
diff |
annotate
|
| 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
|
| Wed, 14 Jul 2010 16:45:29 +0200 |
haftmann |
repaired of_list implementation for SML, OCaml
|
file |
diff |
annotate
|
| Tue, 13 Jul 2010 16:30:13 +0200 |
haftmann |
consolidated names of theorems
|
file |
diff |
annotate
|
| Tue, 13 Jul 2010 16:21:49 +0200 |
haftmann |
qualified names for (really) all array operations
|
file |
diff |
annotate
|
| Tue, 13 Jul 2010 16:12:40 +0200 |
haftmann |
canonical argument order for get
|
file |
diff |
annotate
|
| Tue, 13 Jul 2010 16:00:56 +0200 |
haftmann |
qualified names for (almost) all array operations
|
file |
diff |
annotate
|
| Tue, 13 Jul 2010 15:37:31 +0200 |
haftmann |
canonical argument order for present
|
file |
diff |
annotate
|
| Tue, 13 Jul 2010 15:34:02 +0200 |
haftmann |
canonical argument order for length
|
file |
diff |
annotate
|
| Tue, 13 Jul 2010 12:16:24 +0200 |
haftmann |
proper merge of operation changes and generic do-syntax
|
file |
diff |
annotate
|
| Tue, 13 Jul 2010 12:05:20 +0200 |
haftmann |
merged
|
file |
diff |
annotate
|
| Tue, 13 Jul 2010 12:01:34 +0200 |
haftmann |
hide_const; update replaces change
|
file |
diff |
annotate
|