Where is this code from? It looks like an exam question. On Thu, 20 Dec 2018 06:24 幻＠未来 <849678...@qq.com wrote:
> > 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 >
_______________________________________________ hol-info mailing list hol-info@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/hol-info
