]> matita.cs.unibo.it Git - helm.git/blob - helm/www/lambdadelta/bin/a.ml
Merge remote-tracking branch 'origin/matita-lablgtk3'
[helm.git] / helm / www / lambdadelta / bin / a.ml
1 let f = "0123456789abcdef"
2
3 let r, g, b = 1.0, 0.5, 0.0
4
5 let h = 1. /. 2.
6
7 let mk_h x = x +. (1. -. x) *. h
8
9 let rr, gg, bb = mk_h r, mk_h g, mk_h b 
10
11 let mk_f x = 
12    let x = int_of_float x in
13    print_char f.[x / 16]; print_char f.[x mod 16]  
14
15 let _ = 
16    mk_f (rr *. 255.); mk_f (gg *. 255.); mk_f (bb *. 255.);
17    print_newline ()