nemasu

#!/usr/bin/bash

function show_progress() {
    echo -ne "\r"
    echo -n "`echo "scale=5; ($count / $total)*100" | bc`"
}

path="/"

if [ -n "$1" ]; then

esperecyan

using System;
using System.Collections.Generic;
using System.IO;
using System.Text;
using System.Text.RegularExpressions;
using System.Diagnostics;
using System.ComponentModel;
using UnityEngine;
using UnityEditor;

khibino

module Yoneda where

open import Function.Base using (_∘_)
open import Relation.Binary.PropositionalEquality.Core using (_≡_)

{- specialized Morphism to Haskell function,
   specialized Functor to Haskell Functor,
   Proof of Yoneda Lemma -}
{- 射を Haskell の関数に、
   関手を Haskell の Functor に限定した場合の

aiya000

= 始まり

静寂な朝。
白基調のログハウス、高さ5メートル、風がよく通った部屋。
青くて白い、春の空。

//talkright[mu-smile]{
お風呂上がったよ〜。
//}

aiya000

import * as Untyped from 'tns-core-modules/data/observable'
import deprecated from 'deprecated-decorator'  // npm install --save-dev deprecated-decorator
import { Field } from '@/data/conditional-types'

/**
 * Don't dirty your hands.
 * You must use this instead of [[Untyped.Observable]].
 *
 * This description is [here](http://aiya000.github.io/posts/2019-07-04-recover-nativescript-type-unsafe-observable.html).
 */

Fmajor

# A ctags syntax file for vue components
--langdef=vue
--langmap=vue:.vue
# vue-commands in <template>
--regex-vue=/^(<template>)$/\1/t,template/{scope=set}{exclusive}
--regex-vue=/^\S*(.*(v-if=|v-for=|v-show=|ref=)("[^"]*"))/\2\3/c,vue-command/{scope=ref}
--regex-vue=/^(<\/template>)$/\1//{scope=pop}{exclusive}{placeholder}
# css in <template>
--regex-vue=/^(<style.*)$/style/s,script/{scope=set}{exclusive}
--regex-vue=/^(<\/style>)$/\1//{scope=clear}{placeholder}

aiya000

/**
 * SimpleExpandableListAdapterのコンストラクタが受け取る引数が
 * 何を言っているのか全然わからないので、
 * 自然な形のやつ。
 *
 * @param Child CShowによって表示可能な子
 * @param clever リストアップされる親と子の木
 * @param CShow 子を表示する方法
 */
class BasicDataExpandableListAdapter<Child>(

notogawa

#!/bin/env stack
{-
  stack --resolver=lts-12.24 script --package extensible
-}
{-# LANGUAGE DataKinds #-}
{-# LANGUAGE OverloadedLabels #-}
{-# LANGUAGE PolyKinds #-}
{-# LANGUAGE TypeOperators #-}
{-# LANGUAGE GADTs #-}

d-kuro

コンフリクトしたときの --theirs と --ours

よく忘れるやつ

merge

$ git checkout branch_b
$ git merge branch_a

HirotoShioi

-- |A @'Trie' a b@ is a map with keys of type @[a]@ and values of type @b@.
data Trie a b = Fork (Maybe b) (Map a (Trie a b))
    deriving (Show, Eq)

instance (Ord a, Arbitrary a, Arbitrary b) => Arbitrary (Trie a b) where

  arbitrary :: Gen (Trie a b)
  arbitrary = sized $ \n -> if n == 0      -- We interpret the size n as maximum number of values
                                           -- stored in the trie.
    then return empty                      -- If the n == 0, the trie must be empty.