-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 On 07/24/14 15:57, Stefan Schupp wrote:
How exactly to I extend the PPL (if possible) to my own number types?
Hello Stefan, extending the PPL to use other numeric types can be done, but not via the ordinary user interfaces. Can you give us an idea about what you are trying to accomplish? Kind regards, Roberto - -- Prof. Roberto Bagnara Applied Formal Methods Laboratory - University of Parma, Italy mailto:bagnara@cs.unipr.it BUGSENG srl - http://bugseng.com mailto:roberto.bagnara@bugseng.com -----BEGIN PGP SIGNATURE----- Version: GnuPG v1 Comment: Using GnuPG with Thunderbird - http://www.enigmail.net/ iEYEARECAAYFAlPSCmIACgkQiBRXy7WUQ5IsEgCeOwuuYAMfoCmj+sekH+xGHenw r+IAniRzAV86L39Sk6kUSLUbvq8pD9fS =TPjt -----END PGP SIGNATURE-----