Making the same joke, over and over.
- lattice minimum/maximum elements
- function domains
- secondary headings/titles
- html subscripts
- nintendo's newest console
- FRC 2018 field elements
- compiler control flow graph analysis
|// Colin Barrett - @cbarrett|
|// turning a big dial taht says "Mixfix operators like Agda" on it|
|// and constantly looking back at the audience for approval|
|// like a contestant on the price is right|
|// Here define a mixfix interpreter operator spelled: _ ⊢ ⟦_⟧|
|prefix operator ⟦|
|postfix operator ⟧|
|// @name Twitter Alt-Text to Title-Text|
|// @description Copy the alt attribute of twitter images into the title attribute, so that I can see the alt text on hover.|
|// @version 1|
|// @grant none|
|// @include https://twitter.com/*|
|const SELECTORS = `.tweet .AdaptiveMedia-photoContainer img|
|, .Gallery-media img|
label let you handle jumping around to directories that you want to get to frequently, without having to figure out the path relative to where you are currently.
To create a location, go to the directory you care about, then type
After you've done that, you're able to type
goto <name> at any time to jump directly to that location.
To install on fish, copy the fish scripts into the locations listed at the top of them.
To install on bash/sh/etc., copy the
goto-label.sh into the end of your
.bash_profile, or whatever else you have your config code in.