李甘 flypiggy
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
| #cVim-link-container, .cVim-link-hint, #cVim-command-bar, #cVim-command-bar-mode, #cVim-command-bar-input, #cVim-command-bar-search-results, .cVim-completion-item, .cVim-completion-item .cVim-full, .cVim-completion-item .cVim-left, .cVim-completion-item .cVim-right, #cVim-hud, #cVim-status-bar { | |
| font-family: Helvetica, Helvetica Neue, Neue, sans-serif, monospace, Arial; | |
| font-size: 10pt !important; | |
| -webkit-font-smoothing: antialiased !important; | |
| } | |
| #cVim-link-container { | |
| position: absolute; | |
| pointer-events: none; | |
| width: 100%; left: 0; |
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
| set nosmoothscroll | |
| let scrollstep = 80 | |
| let barposition = "top" | |
| let mapleader = "," | |
| let searchengine github = "https://github.com/search?utf8=%E2%9C%93&q=%s" | |
| " Qmarks | |
| let qmark g = "http://www.github.com" | |
| let qmark v = "http://www.v2ex.com" | |
| let qmark r = "http://www.ruby-china.org" |
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
| use "assignment1.sml"; | |
| (* assert for test *) | |
| fun assert (e: bool, message: string) = | |
| let val prefix = "Testing [" ^ message ^ "]" | |
| in if e then print( prefix ^ "----PASS\n") | |
| else print(prefix ^ "----FAIL\n") | |
| end | |
| (* factroies for Q1-Q5 *) |
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
| local user_host='%{$fg[green]%}%n@%m%{$reset_color%}' | |
| local current_dir='%{$terminfo[bold]$fg[blue]%} %~%{$reset_color%}' | |
| local rvm_ruby='' | |
| if which rvm-prompt &> /dev/null; then | |
| rvm_ruby='%{$fg[red]%}‹$(rvm-prompt i v g)›%{$reset_color%}' | |
| else | |
| if which rbenv &> /dev/null; then | |
| rvm_ruby='%{$fg[red]%}‹$(rbenv version | sed -e "s/ (set.*$//")›%{$reset_color%}' | |
| fi | |
| fi |