atondwal

#include<iostream>
#include<cstdlib>
using namespace std;

int bits(int x){
        if(!x) return x;
        return (x&1)+bits(x>>1);
}

int main(int argc, char const* argv[])

atondwal

{-# LANGUAGE OverloadedStrings #-}

module Main (
    main
) where

import qualified Facebook as FB
import Network.HTTP.Conduit (withManager)
import Control.Monad.IO.Class (liftIO)
import System.IO

atondwal

def shuffle(first, second):
	if first is "" and second is "" : yield ""
	if first is not "":
		for i in shuffle(first[:-1],second): yield (i+first[-1])
	if second is not "":
		for i in shuffle(first,second[:-1]): yield (i+second[-1])

[print(i) for i in shuffle("12","34")]

atondwal

b	བ
c	ཀྱ
cʰ	ཁྱ
cʰ	གྱ
ɕ	ཞ
ɕ	ཤ
d	ད
dz	ཛ
dʑ	ཇ
ɡ	ག

atondwal

(**
In Racket, we've now seen some very simple
expressions and even functions. The first
thing we saw was the expression (+ 3 4).
Let's pull this apart.
*)

(**
First, there are two values in there. In
type theory, every value has a type. The

atondwal

patching file xen/arch/x86/hvm/hvm.c
Hunk #1 succeeded at 4465 (offset -128 lines).
patching file xen/arch/x86/mm/p2m.c
Hunk #1 succeeded at 1366 (offset 33 lines).
Hunk #2 succeeded at 1396 (offset 33 lines).
Hunk #3 succeeded at 1414 (offset 33 lines).
patching file xen/include/asm-x86/p2m.h
patching file xen/arch/x86/hvm/hvm.c
Hunk #1 succeeded at 4393 (offset -148 lines).
patching file Config.mk

atondwal

http://www.unwelcomeguests.net/576 | 576 - Is 5000 Years Enough? (Debt, Morality and Fiat Currency) - UnwelcomeGuests
https://www.23andme.com/ | 23andMe - Genetic Testing for Ancestry; DNA Test
https://en.wikipedia.org/wiki/This_Is_Your_Brain_On_Music | This Is Your Brain On Music - Wikipedia, the free encyclopedia
http://www.virginia.edu/iso/ic/ | The Lorna Sundberg International Center, U.Va.
https://news.ycombinator.com/item?id=7884551 | Functional Differential Geometry (2012) [pdf] | Hacker News

http://www.npr.org/blogs/codeswitch/2014/11/21/365791351/updating-centuries-old-folklore-with-puzzles-and-power-ups?utm_source=facebook.com&utm_medium=social&utm_campaign=npr&utm_term=nprnews&utm_content=2055 | Updating Centuries-Old Folklore With Puzzles And Power-Ups : Code Switch : NPR
https://en.wikipedia.org/wiki/India%E2%80%93Japan_relations | India–Japan relations - Wikipedia, the free encyclopedia
http://slatestarcodex.com/2013/02/26/fermats-last-stand-coordination-thread/ | Fermat’s Last Stand Coordinati

atondwal

{-@ f :: {v: Int | v >=0 } @-}
f :: Int
f = 1

{-@ g :: {v: Int | v != 0}  -> Int @-}
g :: Int -> Int
g x = 3 `quot` x

h :: Int
h = g f

atondwal

{-# LANGUAGE TupleSections  #-}

import           Data.Maybe
import           Data.Monoid      (mconcat, mempty)
import           System.Exit 
import           Control.Applicative ((<$>))
import           Control.Monad
import           Control.DeepSeq
import           Text.PrettyPrint.HughesPJ    
import           CoreSyn

atondwal

diff --git a/Liquid.hs b/Liquid.hs
index c5b03ac..eea1bb4 100644
--- a/Liquid.hs
+++ b/Liquid.hs
@@ -76,22 +76,24 @@ testDelta cfg target cgi info dc cons = do
     ExitSuccess -> return False
     ExitFailure _ -> return True
 
+deltaDebug _ _ _ _ _ [c] _ = return [c]
 deltaDebug cfg target cgi info dc cons r = do