X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fmatita%2Fcontribs%2Flambdadelta%2Fbin%2Fa.ml;fp=matita%2Fmatita%2Fcontribs%2Flambdadelta%2Fbin%2Fa.ml;h=4f310c873a46d507c74d553680088594629d553a;hb=d2545ffd201b1aa49887313791386add78fa8603;hp=0000000000000000000000000000000000000000;hpb=57ae1762497a5f3ea75740e2908e04adb8642cc2;p=helm.git

diff --git a/matita/matita/contribs/lambdadelta/bin/a.ml b/matita/matita/contribs/lambdadelta/bin/a.ml
new file mode 100644
index 000000000..4f310c873
--- /dev/null
+++ b/matita/matita/contribs/lambdadelta/bin/a.ml
@@ -0,0 +1,17 @@
+let f = "0123456789abcdef"
+
+let r, g, b = 1.0, 0.5, 0.0
+
+let h = 1. /. 2.
+
+let mk_h x = x +. (1. -. x) *. h
+
+let rr, gg, bb = mk_h r, mk_h g, mk_h b 
+
+let mk_f x = 
+   let x = int_of_float x in
+   print_char f.[x / 16]; print_char f.[x mod 16]  
+
+let _ = 
+   mk_f (rr *. 255.); mk_f (gg *. 255.); mk_f (bb *. 255.);
+   print_newline ()