I hereby claim:
- I am fgaz on github.
- I am fgaz (https://keybase.io/fgaz) on keybase.
- I have a public key ASA3kMzfvGEhYSHo-GObW6h1W5HwrDq59hIAX2QjWRtAGAo
To claim this, I am signing this object:
test |
-- simple light/wave interaction generator | |
module Main where | |
-- depends on split and matrix packages | |
import Data.List.Split (chunksOf) | |
import Data.Matrix (Matrix, matrix, transpose, toList) | |
type P2 = (Int, Int) | |
type P3f = (Float, Float, Float) | |
type Light = Float |
import GHCJS.DOM (webViewGetDomDocument, runWebGUI) | |
import GHCJS.DOM.Document (getBody) | |
import GHCJS.DOM.Element (setInnerHTML) | |
main :: IO () | |
main = runWebGUI $ \ webView -> do | |
Just doc <- webViewGetDomDocument webView | |
Just body <- getBody doc | |
setInnerHTML body (Just "<h1>Hello, GHCJS!</h1>") |
import Data.List (delete, permutations) | |
numbers = [6,6,5,2] -- ++ [2,3] | |
target = 17 | |
data Tree o a = Branch o (Tree o a) (Tree o a) | Leaf a | Empty deriving (Show, Eq) | |
data Op = Add | Sub | Mult | Div deriving (Show, Eq) | |
op2f :: Fractional a => Op -> a -> a -> a |
I hereby claim:
To claim this, I am signing this object:
# needs python 2 | |
import urllib | |
import urllib2 | |
import time | |
import json | |
import random | |
# italy flag position: | |
xmin = 107 |
--- tuntox/Makefile 2017-09-26 15:26:24.880458159 +0000 | |
+++ tuntox/Makefile 2017-09-26 15:26:44.880312867 +0000 | |
@@ -16,6 +16,2 @@ all: tuntox | |
-gitversion.h: .git/HEAD .git/index | |
- @echo " GEN $@" | |
- @echo "#define GITVERSION \"$(shell git rev-parse HEAD)\"" > $@ | |
- | |
%.o: %.c $(INCLUDES) gitversion.h | |
--- /dev/null |
module Roman where | |
values = [ (1000, "M") | |
, (900, "CM") | |
, (500, "D") | |
, (400, "CD") | |
, (100, "C") | |
, (50, "L") |
module Risiko where | |
import System.Random | |
import Data.List (sortBy) | |
data Player = Me | Oth | |
data Situation = Situation { myArmies :: Int | |
, othArmies :: Int } | |
deriving (Show) |
#!/usr/bin/env bash | |
set -e | |
if [ -e ./node_modules ]; then | |
echo "please delete node_modules to use this script" | |
exit 1 | |
fi | |
function cleanup { |