|Date:||Thu, 29 Oct 2015 20:03:40 +0100|
|User-agent:||Mozilla/5.0 (X11; Linux x86_64; rv:38.0) Gecko/20100101 Thunderbird/38.3.0|
Am 29.10.2015 um 02:28 schrieb Jonathan Camilleri:
If you would have read the f* manual after you encountered the problem, it would have been clear:
that the function cos expects as input radians. If you don't know what radian is, please consult an
appropriate textbook of your choice.
|[Prev in Thread]||Current Thread||[Next in Thread]|