Skip to content

Add (and correct) some things to the flip mapping#827

Merged
rexim merged 1 commit intotsoding:masterfrom
abridgewater:inversion
Dec 5, 2019
Merged

Add (and correct) some things to the flip mapping#827
rexim merged 1 commit intotsoding:masterfrom
abridgewater:inversion

Conversation

@abridgewater
Copy link
Contributor

  • Fix the mapping for the characters used for "flip guy" itself,
    so that flipping flip flipping flips flip.

  • And add the braille characters (!flip does not support braille characters #824).

  • Written (and for the braille characters, generated by means of
    a Forth program), but not tested, because ghci 8.0.2 rather than
    8.4 or 8.6 or whatever it is that HyperNerd requires.

  * Fix the mapping for the characters used for "flip guy" itself,
so that flipping flip flipping flips flip.

  * And add the braille characters (tsoding#824).

  * Written (and for the braille characters, generated by means of
a Forth program), but not tested, because ghci 8.0.2 rather than
8.4 or 8.6 or whatever it is that HyperNerd requires.
@rexim rexim merged commit 485adaf into tsoding:master Dec 5, 2019
@rexim
Copy link
Member

rexim commented Dec 5, 2019

@abridgewater looks good to me! Thank you very much for the contribution! 👍

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants