dtaskoff

{-@ LIQUID "--reflection" @-}
{-@ LIQUID "--no-adt" @-}

import Language.Haskell.Liquid.ProofCombinators


-- | Proof that a ^ b * a ^ c = a ^ (b + c)
--
-- a ^ b * a ^ c corresponds to (b -> a, c -> a)
-- a ^ (b + c) corresponds to Either b c -> a

dtaskoff

stackargs=$@

shbin="$(which sh)"
if [ -z "$shbin" ] || [[ "$shbin" =~ "not found" ]]; then
  echo "Couldn't find sh, exiting."
  exit 1
else
  echo "Found sh: $shbin"
fi

dtaskoff

install stack

CentOS-specific preparations:

yum install ncurses-devel gcc-c++
localedef -c -f UTF-8 -i en_US en_US.UTF-8
export LC_ALL=en_US.UTF-8

Building the binary distribution:

dtaskoff

package main

import (
	"fmt"
	"sync"
	"testing"
)

func numLogsAndNumMsgs(numLogs int, numMsgs int) chan chan string {
	logs := make(chan chan string)

dtaskoff

#include <cstdio>
#include <iostream>
#include <vector>
#include <cstring>
#include <cmath>
#include <algorithm>
#include <queue>


struct word {

dtaskoff

-- file: Direction.hs

module Direction where

data Direction = LeftTurn | RightTurn | Straight
                 deriving (Show, Eq)

type Point = (Double, Double)
type Vector = (Double, Double)

dtaskoff

// quicksort implementation

#include <vector>


int partition(std::vector<int>& v, int start, int end) {
	int pivot = v[end];
	int current = start;

	for (int i = start; i < end; ++i) {

dtaskoff

# a script that installs some needed software:
# python3.4, git, sublime and vim
# write sh install.sh to run the script
# -------------------------------------------

if sudo apt-get install zlib1g-dev libssl-dev
then
    echo "-------------------------------------"
    echo "libs for pip3 successfully installed!"
    echo "-------------------------------------"