ChristopherKing42

--Roughly based on https://github.com/Gabriel439/Haskell-Morte-Library/blob/master/src/Morte/Core.hs by Gabriel Gonzalez et al.

data Expr = Star | Box | Var Int | Lam Int Expr Expr | Pi Int Expr Expr | App Expr Expr deriving (Show, Eq)

subst v e (Var v')       | v == v' = e
subst v e (Lam v' ta b ) | v == v' = Lam v' (subst v e ta)            b
subst v e (Lam v' ta b )           = Lam v' (subst v e ta) (subst v e b )
subst v e (Pi  v' ta tb) | v == v' = Pi  v' (subst v e ta)            tb
subst v e (Pi  v' ta tb)           = Pi  v' (subst v e ta) (subst v e tb)
subst v e (App f a     )           = App    (subst v e f ) (subst v e a )

Bonsai.sh

#!/bin/bash
echo -e "              \e[32m&&"
echo -e "             \e[32m&&&&&"
echo -e "           \e[32m&&&\/& &&&"
echo -e "          \e[32m&&\e[33m|,/  |/\e[32m& &&"
echo -e "           \e[32m&&\e[33m/   /  /_\e[32m&  &&"
echo -e "             \e[33m\  {  |_____/_\e[32m&"
echo -e "             \e[33m{  / /          \e[32m&&&"
echo -e "             \e[33m.\`. \\{___\________\/_\}"
echo -e "              \e[33m\} \}\{       \\"

sjl

PRICE/WEIGHT | ITEM-KEY                             | DISPLAY-NAME                                                        | PRICE   | WEIGHT  
10000.0      | HANDENUKE                            | &mHand-E-Nuke                                                       | 10000.0 | 1.0     
3000.0       | TIMECUBE                             | &ctimecube                                                          | 3000.0  | 1.0     
2265.0       | MENTAL-AGGREGATOR                    | mental aggregator                                                   | 2265.0  | 1.0     
1135.0       | SHORT-SWORD8                         | &rmetametal &Kshort sword                                           | 1135.0  | 1.0     
750.0        | GEOMAGNETIC-DISC                     | geomagnetic disc                                                    | 750.0   | 1.0     
635.0        | DAGGER8                              | &rmetametal dagger                                                  | 635.0   | 1.0     
630.0        | SHORT-SW

GAME_MASTER_v0_1.protobuf

Result: 1
Items {
  TemplateId: "BADGE_BATTLE_ATTACK_WON"
  Badge {
    BadgeType: BADGE_BATTLE_ATTACK_WON
    BadgeRanks: 4
    Targets: "\nd\350\007"
  }
}
Items {

meepoSenpai

*color0: #201d1f
*color1: #a0929a
*color2: #a0949d
*color3: #a0969c
*color4: #a0989e
*color5: #a0989c
*color6: #a0989d
*color7: #a09a9e
*color8: #888587
*color9: #c8c5c6

gelisam

-- in response to https://www.reddit.com/r/haskell/comments/3u5s4e/is_there_a_way_to_write_the_frames_of_a_gloss/

import Codec.Picture.Types (Image(..), PixelRGBA8)
import Codec.Picture.Png (writePng)
import Control.Monad (forM_)
import Data.Vector.Storable (Vector, unsafeFromForeignPtr0)
import qualified Graphics.Gloss as Gloss
import qualified Graphics.Gloss.Rendering as Gloss
import Graphics.Rendering.OpenGL.Raw -- as gl*
import qualified Graphics.UI.GLFW as GLFW

Francesco149

outdated, someone else is updating the list now -> https://gist.github.com/Fobxx/107e2bad2bf7312cd49431c696aac912

plesner

-- Given a list of values, returns a list of the differences between
-- neighbouring pairs of values.
nextLevelDiffs (a:b:rest) = (b - a):(nextLevelDiffs (b:rest))
nextLevelDiffs _ = []

-- Given a list of values, returns a list of the differences such that the
-- first element is the 0-level differences, the second the 1-level and so
-- on.
nLevelDiffs [] = []
nLevelDiffs elms = elms:(nLevelDiffs (nextLevelDiffs elms))

quchen

13:15 <xQuasar>      | HASKELL IS FOR FUCKIN FAGGOTS. YOU'RE ALL A BUNCH OF 
                     | FUCKIN PUSSIES
13:15 <xQuasar>      | JAVASCRIPT FOR LIFE FAGS
13:16 <luite>        | hello
13:16 <ChongLi>      | somebody has a mental illness!
13:16 <merijn>       | Wow...I suddenly see the error of my ways and feel 
                     | compelled to write Node.js!
13:16 <genisage>     | hi
13:16 <luite>        | you might be pleased to learn that you can compile 
                     | haskell to javascript now

gist:4645194

a la mode:in,now
a priori:back,early
ab ovo:again,first,new
Abaddon:hell
abandon:cut,disappear,drop,end,fire,forget,fun,hold,jump,kick,leave,miss,play,shake,stay,stop
abandoned:fast,free,high,hot,left,mad,old,open,out,serious,warm
abash:bother,confuse
abashed:lost
abate:allow,close,control,cut,drop,fall,lay,relax,shake,wear
abatement:cut