view src/brainfuck.fu @ 8410:561c5f0d6b8b

<shachaf> le/rn bicyclic monoid/The bicyclic monoid is the free monoid generated by two wheels of a bicycle, quotiented by the restriction that the bicycle itself is equal to the identity.
author HackBot
date Wed, 08 Jun 2016 10:46:44 +0000
parents e888a1a830d1
children
line wrap: on
line source

):[)~$)[[)[~~~~()+1])][0]$%~~1)][[
    )~<[)$%+-~)~~~ 43 [)[
        ~:~~~)<[
            )~~[)$--1[)~]<~~<)<[
                )$$7--1
            ]][
                ~~~)%[~~)~:(+-)(~)+-1*256]+-~)255:
            ]~
        ]
    ]!]~][
    )~<[)$%+-~)~~~ 45 [)[
        ~:~~~)<[
            )~~[)$--1[)~]<~~<)<[
                )$$6-%0
            ]][
                ~~~)*[)~(:+~~-)+1]---256%):
            ]~
        ]
    ]!]~][
    )~<[)$%+-~)~~~ 62 [)[
        ~:~~~)<[
            )~~[)$--1[)~]<~~<)<[
                )$--%0
            ]][
                ))(($3~)<(
            ]~
        ]
    ]!]~][
    )~<[)$%+-~)~~~ 60 [)[
        ~:~~~)<[
            )~~[)$--1[)~]<~~<)<[
                )$--%0
            ]][
                ~~)<~~~(
            ]~
        ]
    ]!]~][
    )~<[)$%+-~)~~~ 91 [)[
        )~~[)~<[<<<~(~~~<)~][)[
            ))$12~[:]<<$4~~~<[
                )$--1[$8~)$4<[
                    )$$6-%0[)]
                ]<]~)~:~
            ]~[
                !~)~~[)[
                    )$--1[)~~~[)$4~[~):~~[~:~)~[
                        )$$6-%0~~[$~])~
                    ]<~]<~<]$3~[
                        )$~~~%~~)
                    ]<~(~~<]~~<<~[0]]<<<:
                ]]
            ]<<[1)]
        ])(~~)~]~~]<~[[
            ~)~~!
        ]):]
    ]!]~][
    )~<[)$%+-~)~~~ 93 [)[
        [85 110 109 97 116 99 104 101 100 32 93 46H]
        [)~[
            ))$11~<<~:(~:<
        ]]
        ~)~~~
    ]!]~][
    )~<[)$%+-~)~~~ 46 [)[
        ~:~~~)<[
            )~~[)$--1[)~]<~~<)<[
                )$%0
            ]][
                ):
            ]~
        ]
    ]!]~][
    )~<[)$%+-~)~~~ 44 [)[
        ~:~~~)<[
            ~~~~<)[
                )))~$([
                    [)[~~~~()+1])][0]$%~~1)
                ][)[)[~[0]~])][~!]]
            ]~
        ]
    ]!]~][
    )~<[)$%+-~)~~~ 33 [)[
        [)~[
            )[H]
        ]~!]
        [85 110 109 97 116 99 104 101 100 32 91 46H]
        ~)~~~
    ]!]~][
    )~<[)$%+-~)~~~ 0 [)[
        [)~[
            )[H]
        ]~!]
        [85 110 109 97 116 99 104 101 100 32 91 46H]
        ~)~~~
    ]!]~][
        )[~:)~]!
    ]: ]: ]: ]: ]: ]: ]: ]: ]: ]:
][0]~]][
    [0]:[[0]<:[[0]<:]]
    [73 110 116 101 114 110 97 108 32
     101 114 114 111 114 58 32
     116 111 112 108 101 118 101 108 32
     114 117 110 116 105 109 101 32
     93 46H
    ])~!
][~)]