[Semi OT] Language for Game Development talk

[Paulo Pinto via Digitalmars-d]

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.