KeenS

structure List_Ext = struct
fun diff eql l1 l2 = List.filter (fn x => not (List.exists (fn y => eql(x, y)) l2)) l1
end



structure Format = Ponyo_Format

structure Request  = Ponyo_Net_Http_Request
structure Response = Ponyo_Net_Http_Response

KeenS

import java.math.BigDecimal;
import java.time.format.DateTimeFormatter;
import java.time.ZoneId;
import java.time.Instant;


public abstract class Benchmark {

    final String name;
    DateTimeFormatter format = DateTimeFormatter.ofPattern("yyyy-MM-dd HH:mm:ss").

KeenS

import java.util.List;
import java.util.ArrayList;
import java.util.Deque;
import java.util.ArrayDeque;
import java.util.Arrays;

public class Parser {
    public static void main(String[] args) {
        Parser parser =  new Parser("A AND D AND (B OR NOT C) OR NOT C");
        try {

KeenS

-- -*- sql-product: drill -*- --
VALUES 1;

EXPLAIN PLAN FOR VALUES 1;

!help

SHOW DATABASES;

SHOW TABLES IN INFORMATION_SCHEMA;

KeenS

(import (scheme base)
        (scheme write))

(let ((l (call/cc (lambda (k)
                    (with-exception-handler
                     (lambda (e)
                       (display e))
                     (lambda ()
                       (call/cc (lambda (l)
                                  (k l)))

KeenS

datatype avlt(x: t@ype, n: int) =
    Empty(x, 0)
  | {l, m: nat |
    (l + 2 == n && m + 1 == n) ||
    (l + 1 == n && m + 1 == n) ||
    (l + 1 == n && m + 2 == n)
} Node of (avlt(x, l), x, avlt(x, m), int(n))

KeenS

smlsharp  -c++ -o libuv_repl libuv_repl.smi -L /opt/libuv32/lib -luv ~/compile/smlsharp/src/llvm/main/llvm_support.o ~/compile/smlsharp/src/llvm/main/SMLSharpGC.o  $(/usr/local/Cellar/llvm34/3.4.2a/bin/llvm-config --ldflags --libs)

KeenS

LOAD DATA INFILE "~/Sql/file.csv" INTO TABLE db.table FIELDS TERMINATED BY ',' ENCLOSED BY '"'  IGNORE 1 LINES;

KeenS

#!/bin/sh

SMLSHARP=/usr/local/bin/smlsharp
OPTIONS=-ftypecheck-only


${SMLSHARP} ${OPTIONS} "$@" 2>&1 | ruby -ne 'BEGIN {buf=""}; if $_ =~ /^\s/ then buf += $_.chomp + "\\n" else puts buf; buf = $_.chomp end; END{puts buf}'

KeenS

(defun foo ()
  nil)
(documentation 'foo 'function)          ;=> nil

(defun foo ()
  "doc string"
  nil)
(documentation 'foo 'function)          ;=> "doc string"