by Evan Czaplicki
Have you ever thought about how “scrolling” is a metaphor about scrolls? Like hanging scrolls of caligraphy made during the Han Dynasty in China?
| f : String -> String | |
| f x = x ++ "!" | |
| namespace maybe | |
| f : Maybe String -> String | |
| f (Just x) = x ++ "!" | |
| f Nothing = "_" | |
| test1 : String |
by Evan Czaplicki
Have you ever thought about how “scrolling” is a metaphor about scrolls? Like hanging scrolls of caligraphy made during the Han Dynasty in China?
I hereby claim:
To claim this, I am signing this object:
| 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 \ |
| #!/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 |
| <"ul" space> | |
| ul _[]_ [] | |
| ^ List (Attribute msg) | |
| <space> | |
| ul [] _[]_ | |
| ^ List (Html msg) | |
| <">"> |
| {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; '' |
| main = print $ show $ head [] |
| module Machine exposing (..) | |
| type DoorState = Opened | Closed | |
| type ClosedDoor = ClosedDoor DoorState | |
| type OpenedDoor = OpenedDoor DoorState |
| concurrent = 32 | |
| check_interval = 3 | |
| [[runners]] | |
| name = "ci" | |
| url = "https://gitlab.com/ci" | |
| token = "${gitlab_runner_token}" | |
| executor = "docker" | |
| environment = ["NIX_REMOTE=daemon", "NIX_PATH=nixpkgs=/nix/var/nix/profiles/per-user/root/channels/nixpkgs"] | |
| pre_build_script = "export PATH=$PATH:/run/current-system/sw/bin; unset SSL_CERT_FILE; unset GIT_SSL_CAINFO" | |
| [runners.docker] |