From e8f3b786a16777838aea1d635411c4e43b819464 Mon Sep 17 00:00:00 2001
From: Benjamin Barenblat <bbaren@mit.edu>
Date: Thu, 2 May 2013 17:33:54 -0400
Subject: Forum: Add score tracking

---
 forum/score.ur | 17 +++++++++++++++++
 1 file changed, 17 insertions(+)
 create mode 100644 forum/score.ur

(limited to 'forum/score.ur')

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
-- 
cgit v1.2.3