24 Jul
2014
24 Jul
'14
1:57 p.m.
-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512
Hi,
another (maybe silly) question:
How exactly to I extend the PPL (if possible) to my own number types?
Is it sufficient to implement the checked_number policies? How do I add my type to the PPL afterwards?
Best regards, Stefan
- -- Stefan Schupp M.Sc. RWTH Aachen University Computer Science Department, Informatik 2 D-52056 Aachen, Germany http://www-i2.informatik.rwth-aachen.de/i2/schupp/ Tel.: +49 241 80 21243
-----BEGIN PGP SIGNATURE-----
Version: GnuPG/MacGPG2 v2.0.22 (Darwin)
Comment: GPGTools - https://gpgtools.org
Comment: Using GnuPG with Thunderbird - http://www.enigmail.net/
iQEcBAEBCgAGBQJT0RDDAAoJEFPSi5GyofDjH4sH/1gwYU2SQqVcV71bfcPYbFgl
Y0HVGEqOB4rRu6UqYq2g9K/fVx/JFEyw+fo2qbJUKCdexvz8DyHje9NNtABdRZev
7a6EnUQtHbN97VPQPnTtujuslb925FVnzbt1rZoWTYJAPHlJfy71yC7wbNrg6I4V
O3TFLz3T6ETH3Oi2NPx2efcZhRC1VXkc85FIFpKQ3gzjGeHiwymiddQICuX/Ufg0
hrHK/20/K1iqXJ4HuzWBTy43ZebtYWRSjOAAt7o78KOUBIz/StNHSXh0UFRkbu7y
zX7ZF9wPbePd91DR6JrJR5SZbqYOx3+90IfZw0quB/5CtWe3OfuYng/mvHcWfuI=
=lfHt
-----END PGP SIGNATURE-----