mikesorae

`configure' configures this package to adapt to many kinds of systems.

Usage: ./configure [OPTION]... [VAR=VALUE]...

To assign environment variables (e.g., CC, CFLAGS...), specify them as
VAR=VALUE.  See below for descriptions of some of the useful variables.

Defaults for the options are specified in brackets.

Configuration:

mikesorae

{
  "title": "US Keyboard for Japanese",
  "rules": [
    {
      "description": "右Optionキーを単体で押したときにかなキーを送信する",
      "manipulators": [
        {
          "type": "basic",
          "from": {
            "key_code": "right_option",

mikesorae

buildscript {
    ext.kotlin_version = '1.3.41'
    ext.beam_version = '2.19.0'
    repositories {
        mavenCentral()
    }

    dependencies {
        classpath "org.jetbrains.kotlin:kotlin-gradle-plugin:$kotlin_version"
    }

mikesorae

import React, { useEffect, useState } from 'react';
import { Provider } from 'react-redux';
import { CircularProgress } from '@material-ui/core'; // replace to any loader component as you like
import configureStore from './Store'; // your redux store

// redux-persistのrehydrationがreactのinitよりも遅いので
// 初期化を遅延させるためのコンポーネント
export const AppProvider: React.SFC<{ children: any }> = ({ children }) => {
  const [rehydrated, setRehydrated] = useState(false);
  const [config, setConfig] = useState<ReturnType<typeof configureStore> | null>(null);

mikesorae

module Main

data N = Zero | Succ N

add : N -> N -> N
add Zero right = right
add (Succ left) right = Succ (add left right)

plusZeroRightNat : ( right : N ) -> add Zero right = right 
plusZeroRightNat Zero = Refl

mikesorae

FROM jenkins/jenkins:lts

ARG user=jenkins

USER root
RUN apt-get update && apt-get upgrade -y && \
  apt-get install -y autoconf bison build-essential libssl-dev libyaml-dev libreadline6-dev zlib1g-dev libncurses5-dev libffi-dev libgdbm3 libgdbm-dev

RUN apt-get install -y postgresql-client

mikesorae

{-# LANGUAGE DataKinds #-}
{-# LANGUAGE GADTs #-}
{-# language RankNTypes #-}


data DoorState = DoorClosed | DoorOpen
    deriving Show

data DoorCmd before end a where
    Open  :: DoorCmd DoorClosed DoorOpen ()

mikesorae

module ElmState exposing (..)

type State s a
    = State (s -> ( a, s ))

push : a -> State (List a) ()
push a =
    State (\xs -> ( (), a :: xs ))

mikesorae

\documentclass[dvipdfmx,<%= @documentclassoption %>]{<%= @documentclass %>}
% %% fixes to LaTeX2e
% \usepackage{fix-cm}[2006/09/13 v1.1m]
% \usepackage{fixltx2e}[2006/09/13 v1.1m]

<%- if @texcompiler == "uplatex" -%>
\usepackage[deluxe,uplatex]{otf}
<%- else -%>
\usepackage[deluxe]{otf}
<%- end -%>

mikesorae

#!/bin/sh

if [ $# -eq 0 ]; then
  echo "you need to pass a file or directory name to the command"
  exit 1
fi

if [ ! -e $1 ]; then
  echo "file not exists"
  exit 1