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:
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:
{-@ 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 |
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 |
package main | |
import ( | |
"fmt" | |
"sync" | |
"testing" | |
) | |
func numLogsAndNumMsgs(numLogs int, numMsgs int) chan chan string { | |
logs := make(chan chan string) |
#include <cstdio> | |
#include <iostream> | |
#include <vector> | |
#include <cstring> | |
#include <cmath> | |
#include <algorithm> | |
#include <queue> | |
struct word { |
-- file: Direction.hs | |
module Direction where | |
data Direction = LeftTurn | RightTurn | Straight | |
deriving (Show, Eq) | |
type Point = (Double, Double) | |
type Vector = (Double, Double) |
// 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) { |
# 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 "-------------------------------------" |