HCoop
/
hcoop
/
portal.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
| inline |
side by side
Changes rolling out beta version
[hcoop/portal.git]
/
util.sml
diff --git
a/util.sml
b/util.sml
index
a5ae19e
..
c56a011
100644
(file)
--- a/
util.sml
+++ b/
util.sml
@@
-28,6
+28,7
@@
fun makeSet f items =
| usr::rest => foldl (fn (usr, s) => s ^ ", " ^ f usr) ("(" ^ f usr) rest ^ ")"
fun neg (r : real) = ~r
+fun add (r1 : real, r2) = r1 + r2
fun isIdent ch = Char.isLower ch orelse Char.isDigit ch