Qwerty
* ,-----------------------------------------. ,-----------------------------------------.
* | | Q | W | E | R | T | | Y | U | I | O | P | |
* |------+------+------+------+------+------| |------+------+------+------+------+------|
* | | A | S | D | F | G | | H | J | K | L | Alt | |
* |------+------+------+------+------+------| |------+------+------+------+------+------|
* | | Z | X | C | V | B | | N | M | , | . | GUI | |
* |------+------+------+------+------+------+-------------+------+------+------+------+------+------|
This file contains 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
module nat where | |
open import Data.Nat | |
open import Data.Nat.Properties | |
open import Data.Product | |
open import Relation.Nullary using (¬_) | |
open import Relation.Binary using (DecTotalOrder) | |
open import Relation.Binary.PropositionalEquality | |
--------------------------------------------------------------- |
This file contains 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
#include "helix.h" | |
#include "bootloader.h" | |
#include "action_layer.h" | |
#include "eeconfig.h" | |
#ifdef PROTOCOL_LUFA | |
#include "lufa.h" | |
#include "split_util.h" | |
#endif | |
#include "LUFA/Drivers/Peripheral/TWI.h" | |
#ifdef AUDIO_ENABLE |
This file contains 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
#include "helix.h" | |
#include "bootloader.h" | |
#include "action_layer.h" | |
#include "eeconfig.h" | |
#ifdef PROTOCOL_LUFA | |
#include "lufa.h" | |
#include "split_util.h" | |
#endif | |
#include "LUFA/Drivers/Peripheral/TWI.h" | |
#ifdef AUDIO_ENABLE |
This file contains 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
bind-key -T copy-mode C-Space send-keys -X begin-selection | |
bind-key -T copy-mode C-a send-keys -X start-of-line | |
bind-key -T copy-mode C-b send-keys -X cursor-left | |
bind-key -T copy-mode C-c send-keys -X cancel | |
bind-key -T copy-mode C-e send-keys -X end-of-line | |
bind-key -T copy-mode C-f send-keys -X cursor-right | |
bind-key -T copy-mode C-g send-keys -X clear-selection | |
bind-key -T copy-mode C-k send-keys -X copy-end-of-line | |
bind-key -T copy-mode C-n send-keys -X cursor-down | |
bind-key -T copy-mode C-p send-keys -X cursor-up |
This file contains 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
bind-key -T copy-mode C-Space send-keys -X begin-selection | |
bind-key -T copy-mode C-a send-keys -X start-of-line | |
bind-key -T copy-mode C-b send-keys -X cursor-left | |
bind-key -T copy-mode C-c send-keys -X cancel | |
bind-key -T copy-mode C-e send-keys -X end-of-line | |
bind-key -T copy-mode C-f send-keys -X cursor-right | |
bind-key -T copy-mode C-g send-keys -X clear-selection | |
bind-key -T copy-mode C-k send-keys -X copy-end-of-line | |
bind-key -T copy-mode C-n send-keys -X cursor-down | |
bind-key -T copy-mode C-p send-keys -X cursor-up |
This file contains 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
bind-key -T copy-mode C-Space send-keys -X begin-selection | |
bind-key -T copy-mode C-a send-keys -X start-of-line | |
bind-key -T copy-mode C-b send-keys -X cursor-left | |
bind-key -T copy-mode C-c send-keys -X cancel | |
bind-key -T copy-mode C-e send-keys -X end-of-line | |
bind-key -T copy-mode C-f send-keys -X cursor-right | |
bind-key -T copy-mode C-g send-keys -X clear-selection | |
bind-key -T copy-mode C-k send-keys -X copy-end-of-line | |
bind-key -T copy-mode C-n send-keys -X cursor-down | |
bind-key -T copy-mode C-p send-keys -X cursor-up |
This file contains 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
[[plugins]] | |
repo = 'Shougo/dein.vim' | |
[[plugins]] | |
repo = 'ctrlpvim/ctrlp.vim' | |
[[plugins]] | |
repo = 'Shougo/vimproc.vim' | |
build = 'make' |
I hereby claim:
- I am kdxu on github.
- I am kdxu (https://keybase.io/kdxu) on keybase.
- I have a public key ASDP3BLmp9FM1wzjAA0aFNZZaOhUZH4IlHlWpETZtC_qqwo
To claim this, I am signing this object:
This file contains 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
if &compatible | |
set nocompatible | |
endif | |
let s:dein_dir = expand('~/.config/nvim/dein') | |
let s:dein_repo_dir = s:dein_dir . '/repos/github.com/Shougo/dein.vim' | |
execute 'set runtimepath^=' . s:dein_repo_dir | |
call dein#begin(s:dein_dir) | |
let s:toml = '~/.dein.toml' | |
call dein#load_toml(s:toml, {'lazy': 0}) |