brainrake

interface Optional a t where
    optional : t -> Maybe a

Optional a (Maybe a) where
    optional x = x

Optional a a where
    optional x = Just x

Optional a () where

brainrake

f : String -> String
f x = x ++ "!"

namespace maybe
    f : Maybe String -> String
    f (Just x) = x ++ "!"
    f Nothing = "_"


test1 : String

brainrake

by Evan Czaplicki

source: https://github.com/elm/browser/blob/813607120cad18bae101c9ec502733d9d940c612/src/Browser/Dom.elm#L17-L50

Terminology

Have you ever thought about how “scrolling” is a metaphor about scrolls? Like hanging scrolls of caligraphy made during the Han Dynasty in China?

brainrake

Keybase proof

I hereby claim:

• I am brainrape on github.
• I am brainrape (https://keybase.io/brainrape) on keybase.
• I have a public key ASDb9JEd0zAfwt34CvSxt69KoXMFYW3rUeiRII1kXHAK9Ao

To claim this, I am signing this object:

brainrake

  updateNpmDeps = pkgs.writeScriptBin "update-frontend-deps" ''
    #!${pkgs.stdenv.shell}
    set -e
    echo; echo "Pinning node dependencies from ./package.json ..."; echo
    ${pkgs.nix}/bin/nix-instantiate --strict --json --eval --expr '
      (import <nixpkgs> {}).lib.mapAttrsToList
        (name : value : { "${"\${name}"}" = value; })
        (builtins.fromJSON (builtins.readFile ./package.json)).dependencies
    ' > node-modules.json
    ${pkgs.nodePackages.node2nix}/bin/node2nix \

brainrake

#!/bin/sh

# Create the /nix directory, and change its ownership
sudo mkdir -p -m 0755 /nix
sudo chown $USER /nix

# Now install normally. It will not use sudo or ask for password.
curl https://nixos.org/nix/install | sh

# Or download, unpack, and run `./install` manually

brainrake

<"ul" space>

ul _[]_ []
    ^ List (Attribute msg)
<space>

ul [] _[]_
       ^ List (Html msg)
<">">

brainrake

{pkgs ? import <nixpkgs> {}, ...}:
pkgs.stdenv.mkDerivation {
  name = "a-slower-speed-of-light";

  src = pkgs.fetchurl {
    url = http://web.mit.edu/gambit/summer12/speedoflight/beta/A_Slower_Speed_of_Light.tgz;
    sha256 = "095kbvpjwzllm0p0c92100vsk40fdrxp2ak3wvdbmk3vzfvbxb6v";
  };

  installPhase = with pkgs; ''

brainrake

main = print $ show $ head []

brainrake

module Machine exposing (..)


type DoorState = Opened | Closed


type ClosedDoor = ClosedDoor DoorState


type OpenedDoor = OpenedDoor DoorState