diff options
| author |  Benjamin Barenblat <bbaren@mit.edu> | 2013-05-02 17:33:54 -0400 |
|---|---|---|
| committer | Benjamin Barenblat <bbaren@mit.edu> | 2013-05-02 17:33:54 -0400 |
| commit | e8f3b786a16777838aea1d635411c4e43b819464 (patch) | |
| tree | 87ccdd5a0e74ca6a73978e740aad2e4899461f64 /forum/score.ur | |
| parent | d5bf7bfdcb74e7b0557c937aa151c7709531f61f (diff) | |
Forum: Add score tracking
Diffstat (limited to 'forum/score.ur')
| -rw-r--r-- | forum/score.ur | 17 |
1 files changed, 17 insertions, 0 deletions
diff --git a/forum/score.ur b/forum/score.ur new file mode 100644 index 0000000..48bbc01 --- /dev/null +++ b/forum/score.ur @@ -0,0 +1,17 @@ +type score = int + +val update = plus + +val eq_score = eq_int + +val show_score = show_int + +val sql_score = sql_prim +val sql_summable_score = sql_summable_int +val nullify_score = @@nullify_prim [int] sql_int + +val insightful = 1 +val undecided = 0 +val inane = -1 + +fun toInt s = s |