build open-axiom
#!/projects/77750c71-ec7b-4962-bf55-a49ff5065fb6/open-axiom-build/src/interp/interpsys --script # FASL compiled from "/tmp/oa-Os4uMj/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 �% L i s t P* �B O O T �A 1 A G G - ; m e m b e r s ; $ L ; 1 # # �/ t m p / o a - O s 4 u M j / c o d e . l s p o 0 8 �A 1 A G G - ; s o r t ! ; M 2 $ ; 2 # #0 8�% B o o l e a n �A 1 A G G - ; a n y ? ; M $ B ; 3 # #0 8�A 1 A G G - ; e v e r y ? ; M $ B ; 4 # #0 8�% I n t e g e r �A 1 A G G - ; p o s i t i o n ; M $ I ; 5 # #0 8�% P a i r �% S h o r t �A 1 A G G - ; f i n d ; M $ U ; 6 # #0 8�% I n t e g e r S e c t i o n # �A 1 A G G - ; c o u n t ; M $ N n i ; 7 # #0 8�A 1 A G G - ; m a p ! ; M 2 $ ; 8 # #0 8 �A 1 A G G - ; s e t e l t ; $ U s 2 S ; 9 # #0 8�A 1 A G G - ; r e d u c e ; M $ S ; 1 0 # # 0 85�A 1 A G G - ; r e d u c e ; M $ 2 S ; 1 1 # # 0 8 �A 1 A G G - ; r e d u c e ; M $ 3 S ; 1 2 # #0 8, �A 1 A G G - ; s t u p i d n e w # #0 8 �A 1 A G G - ; s t u p i d g e t # # 0 85�A 1 A G G - ; m a p ; M 3 $ ; 1 5 # #0 85�A 1 A G G - ; m e r g e ; M 3 $ ; 1 6 # #0 8�A 1 A G G - ; e l t ; $ U s $ ; 1 7 # #0 8 �A 1 A G G - ; i n s e r t ; 2 $ I $ ; 1 8 # #0 8 �A 1 A G G - ; c o p y ; 2 $ ; 1 9 # #0 8X�A 1 A G G - ; c o p y I n t o ! ; 2 $ I $ ; 2 0 # #0 8J�A 1 A G G - ; c o n s t r u c t ; L $ ; 2 1 # #0 8�A 1 A G G - ; d e l e t e ; $ U s $ ; 2 2 # #0 8 �A 1 A G G - ; d e l e t e ; $ I $ ; 2 3 # #0 8\�A 1 A G G - ; r e v e r s e ! ; 2 $ ; 2 4 # #0 8J�A 1 A G G - ; c o n c a t ; L $ ; 2 5 # #0 8�A 1 A G G - ; s o r t e d ? ; M $ B ; 2 6 # #0 8�A 1 A G G - ; c o n c a t ; 3 $ ; 2 7 # #0 8\�A 1 A G G - ; c o e r c e ; $ O f ; 2 8 # #0 8�A 1 A G G - ; = ; 2 $ B ; 2 9 # #0 8W �A 1 A G G - ; p o s i t i o n ; S $ 2 I ; 3 0 # #0 8�A 1 A G G - ; <