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/myOption.urs | |
| parent | 53a2c4d4a18c2f5903961bce7bc61cf19336157f (diff) | |
Forum: Add upvote button
Diffstat (limited to 'forum/myOption.urs')
| -rw-r--r-- | forum/myOption.urs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/forum/myOption.urs b/forum/myOption.urs new file mode 100644 index 0000000..890c31b --- /dev/null +++ b/forum/myOption.urs @@ -0,0 +1 @@ +val getError : t ::: Type -> option t -> t |