[CakeML] Build problems

Lars Hupel hupel at in.tum.de
Thu Apr 6 07:53:25 UTC 2017

> I think there's a function called "print" predefined in the basis library,
> which takes a string, and also "CharIO.write" which takes a character. (The
> exact functions in the basis for I/O may change a little in later
> versions..)

Thanks, that worked!

More information about the Users mailing list