Re: [PPL-devel] Custom Number Types

-----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