From e578da5c4f19af7446a48a9d78f45de51383d4ac Mon Sep 17 00:00:00 2001 From: Benjamin Barenblat Date: Thu, 2 May 2013 21:21:22 -0400 Subject: Forum: Add upvote button --- forum/score.urs | 5 +++++ 1 file changed, 5 insertions(+) (limited to 'forum/score.urs') 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 -- cgit v1.2.3