Project Structure -> Project SDK
echo $JAVA_HOMEするとPATHが通ってることは確認できるがなぜかIDEAは認識しないので手動で設定
| 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) |
| data Term | |
| = TmTrue | |
| | TmFalse | |
| | TmIf Term Term Term | |
| | TmZero | |
| | TmSucc Term | |
| | TmPred Term | |
| | TmIsZero Term | |
| deriving Show |
| { | |
| "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. */ |
| // ==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(', '); |