build open-axiom
#!/projects/77750c71-ec7b-4962-bf55-a49ff5065fb6/open-axiom-build/src/interp/interpsys --script # FASL compiled from "/tmp/oa-0BLnwt/code.lsp" using SBCL version 1.2.14.debian � X86-64N 1.2.14.debian2 (:GENCGC :SB-PACKAGE-LOCKS :SB-THREAD :SB-UNICODE)�S B - C � % P R O C L A I M PF T Y P E PF U N C T I O N � A x i o m C o r e �% T h i n g �% S h e l l �B O O T � A N O N ; c o e r c e ; $ O f ; 1 # # �/ t m p / o a - 0 B L n w t / c o d e . l s p o 0 8� P U T � S P A D r e p l a c e � X L A M � x 8�% L i s t �% S y m b o l � A N O N ; p a r a m e t e r s ; $ L ; 2 # # 0 8� A N O N ; b o d y ; $ S ; 3 # # 0 8� % l t h i r d 8�S B - I M P L � % D E F U N >"