nabe256

$ coqtop
Welcome to Coq 8.4pl4 (June 2014)

Coq < Definition proof0 : forall (P Q : Prop), ((P \/ Q) /\ ~P) -> Q.
1 subgoal

  ============================
   forall P Q : Prop, (P \/ Q) /\ ~ P -> Q

proof0 < intros.

nabe256

import System.Random
import Control.Monad

main :: IO()
main = print showKiyoshi

getRandomInt :: IO Int
getRandomInt = getStdRandom $ randomR (0,1) :: IO Int

text :: [String]

nabe256

import System.Random

main = do
    gen1 <- getStdGen
    let rand = getRandom gen1
    print . showKiyoshi . getKiyoshi $ rand

text :: [String]
text = ["zun", "doko", "kiyoshi"]

nabe256

#!/bin/bash

urls=(\
  "https://aws.amazon.com/jp/ 200" \
  "https://aws.amazon.com/console/ 200" \
  "https://console.aws.amazon.com/ 302" \
)

for (( i = 0; i < ${#urls[@]}; i++ ))
do

nabe256

require 'net/imap'

imap = Net::IMAP.new('example.com')
imap.authenticate('LOGIN', 'mailaccount@example.com', 'password')
imap.select('INBOX')
if not imap.list('INBOX', 'testfolder')
  imap.create('INBOX.testfolder')
end
imap.expunge
imap.uid_search(["FROM", "test@example.org"]).each_with_index do |message_id, i|