Catching up on internals
Nicolas Doye <[email protected]>
| Newsgroups | gmane.comp.mathematics.axiom.devel |
|---|---|
| Message-ID | <[email protected]> |
Dear all, last time I looked at the internals (20 years ago) the parts I was interested in were all written in BOOT. I wrote all my tentative code in BOOT and patched one function (possibly coerceInteractive) to accept it. I have several hundred lines of BOOT code that may be of interest to people. I can’t remember exactly how one compiles BOOT and adds it into the interpreter’s path Worse, I can’t remember BOOT’s syntax. I had a photocopy of the BOOT programming guide, but, sadly, can’t find it. Is there any online documentation on hacking the Axiom interpreter? Also, if anyone has a scan of the BOOT document, please can you let me get hold of it somehow? Quick Bio: I was a student of James Davenport’s in the late 90s working on coercion, Axiom’s type system and Universal Algebra. Since then I’ve not been in academia. Nic Doye email: [email protected] web: https://worldofnic.org <https://worldofnic.org/?utm_source=email+signature> twitter: @nicdoye <https://twitter.com/nicdoye> _______________________________________________ Axiom-developer mailing list [email protected] https://lists.nongnu.org/mailman/listinfo/axiom-developer
signature.asc
(application/pgp-signature, 801 B)
-----BEGIN PGP SIGNATURE----- iQIcBAEBCAAGBQJZrqe7AAoJEJZ8xwsEVVOuKtMQAMeguWPcB6QvRO1Tkp8vEu9f 8nRZtvrkuPZGImqgUCGUBNibV7f1sp1RTIrKYkdST72QR82xRsZYgSvPjtgLgQ2x WYUHCFLtsw7H/yq7LPoAMbzdDS6OxYgUnYEvnuZtSFcpw1XFyz5hji4pO37t3l1i Z3uhTeYz09AnoQfcfwCZV8QFU64VCLEcXEcXSuAbRTHUZN20LuquThybVR64knUK FAcrhIII7Pxbmfb8Esh0e2dp+XNdGfeJIrSo5aQR5WGuWlhYRdOXlSY1Ig8UHbrx DG8HyxsnTBSK+2eWEEBwQYbhhRRv4yxZ+MnvY3mQm1PQBeNkUVFTjMer6qPHpja4 myNuBabRbfMRpY0ptiIHWWIRTpUtiwqALDWphr7C0TdERbgEHNRdMSLLVsr/Vm75 TICmU6Clrjq6kvpv1Ln7LAsIEhBM3+Y/JoNfbmL91O86Ndti2AABwpuFBJyhfUxs NO6zAMCF94HsKDYVCuUAfmrIZcfEBT4j3MlPZfw+pFwkrc7/hTIPRvyAQTdKiGpm 0elKaTm01WpCS/SE1GM9byjYjyQ8oA8R8A6itKHnhfrhrp66wSkQKjcQtLWco9AA /VbBl6JvBWYS5LMzW+qNT7Pt2DTCx3hBwJX5QOmMudbvbqJZo6IqED5pGnbPkEfD vfGKsPYHerdKeOjgkSdD =1jsq -----END PGP SIGNATURE-----