I hereby claim:
- I am jyp on github.
- I am jyp7 (https://keybase.io/jyp7) on keybase.
- I have a public key ASCX98MhHTIWJdc3cxOSlNks_dKSKc5vMqP8BoUJa9CtNQo
To claim this, I am signing this object:
Jean-Philippe Bernardy jyp
jyp
/ gist:500fde7ca845d1607b5ee67531fcecd6
Last active
October 29, 2020 09:46
cvim boon-like config (colemak)
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| let hintcharacters = "arstneiowfdhuyxc,." | |
| unmapAll | |
| map xx openCommandBar | |
| map u scrollUp | |
| map e scrollUp | |
| map i scrollDown | |
| map y scrollDown | |
| map < scrollToTop | |
| map > scrollToBottom |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| --- | |
| title: On the Duality of Streams | |
| subtitle: How Can Linear Types Help to Solve the Lazy IO Problem? | |
| author: | |
| - name: Jean-Philippe Bernardy | |
| - name: Josef Svenningsson | |
| ... | |
| <!-- |