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
&__color-span { | |
display: inline-block; | |
padding: 0 2px; | |
position: relative; | |
font-weight: var(--TYPOGRAPHY__font-weight-bold); | |
& > * { | |
position: relative; | |
} |
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
/** | |
* Returns the difference of the first and other objects provided. | |
* @param {any} x | |
* @param {any} ys | |
*/ | |
export const difference = (x, ...ys) => | |
Object.fromEntries( | |
Object.entries(x).filter(([k, v]) => !ys.some(y => y[k] === v)), | |
); |
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
# | |
# This shell prompt config file was created by promptline.vim | |
# | |
function __promptline_host { | |
local only_if_ssh="0" | |
if [ $only_if_ssh -eq 0 -o -n "${SSH_CLIENT}" ]; then | |
if [[ -n ${ZSH_VERSION-} ]]; then print %m; elif [[ -n ${FISH_VERSION-} ]]; then hostname -s; else printf "%s" \\h; fi | |
fi | |
} |
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
# ~/.bashrc: executed by bash(1) for non-login shells. | |
# see /usr/share/doc/bash/examples/startup-files (in the package bash-doc) | |
# for examples | |
# If not running interactively, don't do anything | |
case $- in | |
*i*) ;; | |
*) return;; | |
esac |
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
# ~/.bashrc: executed by bash(1) for non-login shells. | |
# see /usr/share/doc/bash/examples/startup-files (in the package bash-doc) | |
# for examples | |
# If not running interactively, don't do anything | |
case $- in | |
*i*) ;; | |
*) return;; | |
esac |
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
# Mistakes | |
alias sudo='sudo '; | |
alias fuck='sudo $(history -p !!)'; | |
# Rich copy (pbcopy doesn't like file handles) | |
yy () { | |
osascript \ | |
-e 'on run args' \ | |
-e 'set the clipboard to POSIX file (first item of args)' \ | |
-e end \ |
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
{ | |
"editor.codeActionsOnSave": { | |
"source.fixAll.eslint": true, | |
"source.fixAll.pylint": true, | |
}, | |
"editor.dragAndDrop": true, | |
"editor.fontFamily": "Jetbrains Mono, Menlo, Monaco, 'Courier New', monospace", | |
"editor.fontLigatures": true, | |
"editor.fontSize": 13, | |
"editor.letterSpacing": 0.25, |
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
Write-Host "Cannot automatically install LastPass, Ubuntu, Spotify from Windows Store." | |
Write-Host "Installing Google Drive, Hyper, Skyfonts, Visual Studio Code from Chocolatey." | |
Set-ExecutionPolicy Bypass -Scope Process -Force; iex ((New-Object System.Net.WebClient).DownloadString('https://chocolatey.org/install.ps1')) | |
choco install -y google-drive-file-stream hyper skyfonts vscode | |
Write-Host "Done. Check above for errors." |
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
Preliminary notes: | |
1. Where necessary the following function was used to convert parser output to | |
canonical form (to detect equivalent syntax trees up to associativity of | |
statement composition): | |
tx :: Stm -> Stm | |
tx (Comp (Comp a b) c) = tx (Comp a (Comp b c)) | |
tx (Comp a b) = (Comp (tx a) (tx b)) | |
tx (If b s1 s2) = (If b (tx s1) (tx s2)) |
NewerOlder