diff options
author | Benjamin Barenblat <bbaren@mit.edu> | 2013-05-02 21:21:22 -0400 |
---|---|---|
committer | Benjamin Barenblat <bbaren@mit.edu> | 2013-05-02 21:21:22 -0400 |
commit | e578da5c4f19af7446a48a9d78f45de51383d4ac (patch) | |
tree | 5d2b106748fda2c031d2400fc5ce81c2fb69405a /forum/score.urs | |
parent | 53a2c4d4a18c2f5903961bce7bc61cf19336157f (diff) |
Forum: Add upvote button
Diffstat (limited to 'forum/score.urs')
-rw-r--r-- | forum/score.urs | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/forum/score.urs b/forum/score.urs index d3e3e18..616d1b6 100644 --- a/forum/score.urs +++ b/forum/score.urs @@ -24,3 +24,8 @@ val update : score -> score -> score (******************************** Conversion *********************************) val toInt : score -> int + + +(****************************** Pretty-printing ******************************) + +val withUnits : score -> string -> string |