Hello,
I am currently working on integrating the QCheck/SML automatic unit testing
library with the theorem prover Isabelle at TU München and automating the
construction of random value generators.
It would be very helpful to know if there is an internal representation of
value and function types that can be accessed in some way other than parsing
the string returned upon creation.
Thank you for any helpful information,
Nicolai
_______________________________________________
polyml mailing list
[email protected]
http://lists.inf.ed.ac.uk/mailman/listinfo/polyml
