Am 21.09.2014 12:47, schrieb bearophile:
Paulo Pinto:(and other languages are ATS, Whiley, F*, Idris, etc, cover other forms of correctness). ...You can handle units of measure via tuples structs, since you mention F#.Here I mentioned F*, not F#: http://research.microsoft.com/en-us/projects/fstar/ Bye, bearophile
Sorry, should have taken more coffee.
