// Option.ts
// definition
export class None {
readonly tag: 'None' = 'None'
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
| {-# LANGUAGE DeriveFunctor #-} | |
| {-# LANGUAGE LambdaCase #-} | |
| import Control.Applicative (liftA2) | |
| import Data.Char | |
| import Data.Foldable (for_) | |
| import Data.Functor | |
| import qualified Data.HashMap.Strict as M | |
| import Data.List (intercalate) | |
| import Prelude hiding (any) |
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
| # Invert Anker A7726 Keyboard FN Keys | |
| # | |
| # This is the keyboard I bought: | |
| # https://www.amazon.co.jp/gp/product/B00U260UR0/ | |
| # But the fn keys default to media keys which is very annoying. | |
| # | |
| # This will make the FN media keys function as F keys without pushing the FN | |
| # button. Also you can still use the media keys by pushing the FN + Media key | |
| # combination. | |
| # |
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
| export function flatMap<T, U>(array: T[], callbackfn: (value: T, index: number, array: T[]) => U[]): U[] { | |
| return Array.prototype.concat(...array.map(callbackfn)); | |
| } |
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
| <!DOCTYPE html> | |
| <html lang="en"> | |
| <head> | |
| <script type="module"> | |
| import { h, text, app } from "https://unpkg.com/hyperapp" | |
| app({ | |
| init: () => 0, | |
| view: state => | |
| h("main", {}, [ |
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
| //#!/usr/bin/env node --harmony | |
| /*jshint esversion: 6 */ | |
| 'use strict'; | |
| // Church numerals in ES6. | |
| // c.f. https://en.wikipedia.org/wiki/Church_encoding | |
| // Zero is the identity function. | |
| let zero = (f => x => x); |
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
| const I = x => x | |
| const K = x => y => x | |
| const A = f => x => f (x) | |
| const T = x => f => f (x) | |
| const W = f => x => f (x) (x) | |
| const C = f => y => x => f (x) (y) | |
| const B = f => g => x => f (g (x)) | |
| const S = f => g => x => f (x) (g (x)) | |
| const S_ = f => g => x => f (g (x)) (x) | |
| const S2 = f => g => h => x => f (g (x)) (h (x)) |