This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
{-# LANGUAGE GeneralizedNewtypeDeriving, MultiParamTypeClasses, FunctionalDependencies, FlexibleInstances, RankNTypes, MonadComprehensions, TupleSections #-} | |
import Control.Applicative | |
import Data.Monoid | |
import Control.Monad | |
import Control.Monad.Cont | |
import Control.Concurrent.MVar | |
import Data.IORef | |
newtype SignalIn m a = SignalIn (Cont (m ()) a) |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Ponies. |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
#!/bin/sh | |
mkdir /tmp/robot-bee | |
cp -R $1 /tmp/robot-bee/robot.zip | |
pushd /tmp/robot-bee | |
unzip robot.zip | |
rm robot.zip | |
rm -rf user/.git | |
find user -name '*.pyc' | xargs rm | |
rm -rf user/.gitignore | |
rm -rf user/.gitattributes |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
for (var i = 0; i < obj["userids"].length; i++) { | |
(function(userid) { | |
$.get("user/" + userid, {"token":token}, function(resp, userid) { | |
var user_name = JSON.parse(resp)["full_name"]; | |
build += "<li><a class='user' id='user-" + userid + "' href='#show-" + userid + "'>" + user_name + "</a></li>"; | |
remaining -= 1; | |
if (remaining == 0) { | |
make_users_list(obj, build); | |
hide_spinner(); | |
$("#login").hide(); |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
#!/bin/bash | |
if [ -e $1 ]; then | |
rm -f $1 | |
else | |
touch $1 | |
fi |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
module std.kmp; | |
export kmp; | |
kmpl<a> :: Array<a> -> Array<a> -> Maybe<Int>; | |
kmp<a> :: Array<a>, Array<a> -> Maybe<Int>; | |
kmpAdvanceTable<a> :: Array<a> -> Array<Int>; | |
kmpl(pattern) { |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
THINGS TO OCCUR | |
Thursday (small team of 2-3) | |
* If seating is out, retract seating | |
* Mark out layout in Cube & Bar 2 | |
* DJ riser | |
* Power | |
* Network | |
* Verify facilities (projector etc) |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
module std; | |
export Maybe; | |
export Nothing; | |
export Just; | |
export force; | |
export isNothing; | |
Maybe<a> = variant Nothing, Just(a) |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
module std; | |
export Maybe; | |
export Nothing; | |
export Just; | |
export force; | |
export isNothing; | |
Maybe<a> = variant Nothing, Just(a) |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
module xtoa; | |
export xtoa; | |
export hexValue; | |
export decValue; | |
export binValue; | |
xtoa :: String, Int -> String; | |
hexValue :: Int -> String; |