main = putStrLn "helloworld"
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
import Control.Applicative | |
import Control.Monad | |
import Data.List | |
main = do | |
[m, n] <- map read . words <$> getLine | |
s <- forM [1..m] (\x -> getLine) | |
putStrLn $ show $ s !! n |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
module Main where | |
import Control.Applicative ((<$>)) | |
import Control.Monad (forM) | |
type Pos = (Int, Int) | |
main :: IO () | |
main = do | |
n <- read <$> getLine |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
module DeBruijn where | |
import Data.List | |
data Expr = Var Int | App Expr Expr | Abs Expr deriving (Eq, Show) | |
subst :: Expr -> Int -> Expr -> Expr | |
subst (Var n) m e | |
| n == m = e | |
| otherwise = Var n |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
-module(fizzbuzz). | |
-export([start/1]). | |
start(End) -> | |
Pid = self(), | |
FizzBuzz = spawn(fun() -> fizzbuzz(Pid, End) end), | |
Fizz = spawn(fun() -> fizz(3) end), | |
Buzz = spawn(fun() -> buzz(5) end), | |
FizzBuzz ! {Fizz, Buzz}, | |
receive |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Inductive A : Set := a : A. | |
Definition fantom (n : nat) := A. | |
Definition fantom_succ {n : nat} : fantom n -> fantom (S n) := | |
fun _ => a. | |
Inductive ty : forall n : nat, fantom n -> Prop := | |
| zero : ty O a | |
| succ : forall (x : nat) (f : fantom x), ty x f -> ty (S x) (fantom_succ f). |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
{-# LANGUAGE FlexibleContexts | |
, TypeOperators | |
, DeriveDataTypeable | |
, ConstraintKinds | |
, FlexibleInstances | |
, MultiParamTypeClasses | |
, UndecidableInstances #-} | |
import Control.Eff | |
import Control.Eff.Exception |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Require Import String List. | |
Import ListNotations. | |
Inductive Action : Type := action : string -> Action. | |
CoInductive Process : Type := | |
| process : list (Action * Process) -> Process. | |
Inductive mu_derivative : Action -> Process -> Process -> Prop := | |
| derivative_here : forall a q l, mu_derivative a (process ((a, q) :: l)) q |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
package me.amutake | |
import akka.actor._ | |
object RingBenchmarks { | |
sealed trait Msg | |
case class Start(n: Int, t: Int) extends Msg | |
case class Next(next: ActorRef) extends Msg | |
case object End extends Msg |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
module Main where | |
import Control.Monad | |
import Data.Array.IO | |
import System.Random | |
type Name = String | |
-- 通常 | |
participants :: [Name] |
OlderNewer