kc3-lang/kc3

diff --git a/.ic3_history b/.ic3_history
index 9f82eaf..ad42a22 100644
--- a/.ic3_history
+++ b/.ic3_history
@@ -1,10 +1,3 @@
-2/3 +i 2/3
-2/3 +i 2/3 + 0.5
-3 +i 2 + 0.5
-3 +i 2 + 1
-3 +i 2 + 2
-3 +i 2 + 2 +i 3
-3 +i 2 + 2 +i 3 +i 1
 3 +i 2 + 2 +i 3 +i 1 + 2
 3 +i 2 + 2 +i 3 +i 1 + 1
 1 +i 2
@@ -97,3 +90,10 @@ ic3> (1 +i 2) + (2 +i 3)
 (Ratio) 42
 (Ratio) 42 / 5
 (Ratio) 42 / 6
+license()
+license(à
+)
+license()
+hash
+hash(1)
+hash(2)
diff --git a/lib/c3/0.1/c3.facts b/lib/c3/0.1/c3.facts
index 7a03ba2..2c2f0ff 100644
--- a/lib/c3/0.1/c3.facts
+++ b/lib/c3/0.1/c3.facts
@@ -212,3 +212,5 @@ replace {C3.if_then_else, :is_a, :special_operator}
 replace {C3.if_then_else, :cfn, cfn Tag "c3_if_then_else" (Tag, Tag, Tag, Result)}
 add {C3, :symbol, C3.sqrt}
 replace {C3.sqrt, :cfn, cfn Tag "tag_sqrt" (Tag, Result)}
+add {C3, :symbol, C3.hash}
+replace {C3.hash, :cfn, cfn Uw "tag_hash_uw" (Tag)}