johannes-riecken

use v5.10;
use warnings;
use Data::Dumper;

my %h;

sub wrap {
  my ($str, $re,$replace) = @_;
  unless (%h) {
    END {say Dumper %h}

johannes-riecken

vectTake : (n : Fin (m)) -> Vect m a -> LTE (cast n) m -> Vect (cast n) a
vectTake FZ (y :: xs) LTEZero = []
vectTake (FS y) (z :: xs) (LTESucc x) = z :: vectTake y xs x

johannes-riecken

private class Wrap<T>
{
    public readonly Func<Wrap<T>, T> It;

    public Wrap(Func<Wrap<T>, T> it)
    {
        It = it;
    }
}

johannes-riecken

package main

import (
    "encoding/json"
    "github.com/gorilla/mux"
    "log"
    "net/http"
)

type Repository struct {

johannes-riecken

module Main where

import Prelude

import Control.Comonad
import Control.Lazy
import Data.Array ((:))
import Data.Distributive
import Data.Lens.Grate
import Data.Lens

johannes-riecken

rand('state', 0);
rand();
rand();
// Output:
// 0.84442
// 0.75795

johannes-riecken

#include <iostream>
#include <chrono>
#include <random>
#include <iomanip>

int main ()
{
  std::mt19937 generator (0);

  std::cout << generator() << std::endl;

johannes-riecken

my $last_cmd = '';
my $up_cnt;

sub up {
    if ($last_cmd ne 'up') {
        $up_cnt = 0;
    }
    `sleep 0.2s;xte 'key Up'`;
    $last_cmd = 'up';
    $up_cnt++;

johannes-riecken

<xsl:stylesheet version="1.0" xmlns:xsl="http://www.w3.org/1999/XSL/Transform">
  <xsl:output method="text"/>
  <xsl:template name="sort">
    <xsl:param name="w"/>
    <!-- position in word -->
    <xsl:param name="i" select="1"/>
    <!-- position in output -->
    <xsl:param name="j" select="1"/>
    <xsl:param name="out"/>
    <xsl:variable name="alpha" select="'01a02b03c04d05e06f07g08h09i10j11k12l13m14n15o16p17q18r19s20t21u22v23w24x25y26z'"/>

johannes-riecken

grammar GoParser;

sourceFile
    : packageClause eos (importDecl eos)* ((functionDecl | methodDecl | declaration) eos)*
    ;

packageClause
    : 'package' IDENTIFIER
    ;