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(', '); |