Fantasy Land Specification Cheatsheet
| Algebra | Methods |
|---|---|
| Functor | map |
| Apply | ap, map |
| Applicative | of, ap, map |
| Chain | chain, ap, map |
andys8
/ fantasyland_spec_cheatsheet.md
Created
August 6, 2017 13:51
A cheatsheet to have the fantasy land algebraic specification at a glance
andys8
/ gist:0270b4c7e4bdc6dc0652755aaba6900c
Created
April 24, 2018 22:04
How to build and flash QMK with DZ60 and Docker
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
| # press space + b and connect the usb port | |
| # build | |
| docker run -e keymap=iso_vim_arrow -e keyboard=dz60 --rm -v $('pwd'):/qmk:rw edasque/qmk_firmware | |
| # flash | |
| sudo dfu-programmer atmega32u4 erase --force | |
| sudo dfu-programmer atmega32u4 flash dz60_iso_vim_arrow.hex | |
| sudo dfu-programmer atmega32u4 reset |
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
| [ | |
| { | |
| "key": "ctrl+shift+s", | |
| "command": "workbench.action.files.saveAll" | |
| }, | |
| { | |
| "key": "shift+enter", | |
| "command": "extension.aceJump", | |
| }, | |
| { |
andys8
/ gist:938b19bb470f187071e8968f9dfd5c49
Created
July 18, 2018 21:39
Functor, Applicative, Monad
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
| (<$>), which lifts a single-argument function into a Functor | |
| (<*>), which chains a multi-argument function through an Applicative | |
| (=<<), which binds a function that enters a Monad onto an existing computation |
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
| # This file has been auto-generated by i3-config-wizard(1). | |
| # It will not be overwritten, so edit it as you like. | |
| # | |
| # Should you change your keyboard layout some time, delete | |
| # this file and re-run i3-config-wizard(1). | |
| # | |
| # i3 config file (v4) | |
| # | |
| # Please see http://i3wm.org/docs/userguide.html for a complete reference! |
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
| name: Haskell CI | |
| on: [push] | |
| jobs: | |
| build: | |
| runs-on: ubuntu-latest | |
| steps: | |
| - uses: actions/checkout@v1 | |
| - uses: actions/cache@v1 |
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
| #!/bin/bash | |
| # Request of <https://www.mvg.de/dienste/verbindungen.html> | |
| set -eu pipefail | |
| url="https://www.mvg.de/api/fahrinfo/routing/?fromStation=de:09162:2&toStation=de:09179:6180&transportTypeBus=false&transportTypeUnderground=false&transportTypeBoat=false&transportTypeTram=false&transportTypeCable=false&changeLimit=0&sapTickets=true" | |
| json=$(curl -s "$url" || '') | |
| if [[ $json == "" ]]; then | |
| echo "$(tput setaf 3)Failed$(tput sgr 0)" | |
| exit 1 |
OlderNewer