Hi, this is not an HOL question any more, and now you should learn some Standard ML first. Maybe the following book is a good start:
Harper, R.: Programming in Standard ML.
http://www.cs.cmu.edu/~rwh/isml/book.pdf
<http://www.cs.cmu.edu/~rwh/isml/book.pdf>
I??m sure the answer of your question (plus many other questions) is in it.
??Chun
> Il giorno 20 dic 2018, alle ore 07:23, ???????? <849678...@qq.com> ha scritto:
>
>
> Here is the following code
> datatype temp =
> C of real
> | F of real;
>
> fun temp_to_f t =
> case t of
> C x => x * (9.0 / 5.0) + 32.0
> | F x => x;
> What is the function of the function temp_to_f ? How to use this function
> specifically?
> _______________________________________________
> hol-info mailing list
> hol-info@lists.sourceforge.net
> https://lists.sourceforge.net/lists/listinfo/hol-info
signature.asc
Description: Message signed with OpenPGP using GPGMail
_______________________________________________ hol-info mailing list hol-info@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/hol-info
