- Dock
- 最近使ったアプリケーションを Dock に表示: uncheck
- Siri
- Siri に頼むを有効にする: uncheck
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
// ==UserScript== | |
// @name google translate ignore | |
// @version 0.2 | |
// @description Ignore code blocks with google translation. | |
// @match *://*/* | |
// ==/UserScript== | |
const github = ['table.js-file-line-container', 'table.js-diff-table']; | |
const selector = ['pre'].concat(github).join(', '); |
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
Show hidden characters
{ | |
"compilerOptions": { | |
/* Visit https://aka.ms/tsconfig.json to read more about this file */ | |
/* Basic Options */ | |
// "incremental": true, /* Enable incremental compilation */ | |
"target": "es5", /* Specify ECMAScript target version: 'ES3' (default), 'ES5', 'ES2015', 'ES2016', 'ES2017', 'ES2018', 'ES2019', 'ES2020', or 'ESNEXT'. */ | |
"module": "commonjs", /* Specify module code generation: 'none', 'commonjs', 'amd', 'system', 'umd', 'es2015', 'es2020', or 'ESNext'. */ | |
// "lib": [], /* Specify library files to be included in the compilation. */ | |
// "allowJs": true, /* Allow javascript files to be compiled. */ |
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
data Term | |
= TmTrue | |
| TmFalse | |
| TmIf Term Term Term | |
| TmZero | |
| TmSucc Term | |
| TmPred Term | |
| TmIsZero Term | |
deriving Show |
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
CC = gcc | |
CFLAGS = -std=c99 -O2 | |
LDFLAGS = -lm | |
LIBS = | |
INCLUDE = -I$(SRC_DIR) | |
APP_NAME = App_Name | |
SRC_DIR = src | |
OBJ_DIR = build | |
SRC = $(wildcard $(SRC_DIR)/*.c) |