[PPL-devel] Custom Number Types

[Roberto Bagnara]

-----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 at cs.unipr.it
                              BUGSENG srl - http://bugseng.com
                              mailto:roberto.bagnara at 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-----