Hi Brian, > I have been working on a new numeral representation for Isabelle > recently, and I would like to share it with everyone. An overview of > the design is now available on the Isanotes wiki [1]; a patched > version of the Isabelle hg repo is also available [2]. > > I would welcome any suggestions, criticism, or other feedback.
you know my opinion already :-)
I will tackle the code generation issues as soon as »my« current fork
ist done.
Then we can »roar ahead« again…
Cheers,
Florian
--
Home:
http://www.in.tum.de/~haftmann
PGP available:
http://home.informatik.tu-muenchen.de/haftmann/pgp/florian_haftmann_at_informatik_tu_muenchen_de
signature.asc
Description: OpenPGP digital signature
_______________________________________________ isabelle-dev mailing list [email protected] https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
