This file contains hidden or 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
mg = require 'mongoose' | |
Global = new mg.Schema | |
progress: String | |
RecipeUpload = new mg.Schema | |
lang: type: String, index: yes | |
filename: type: String, index: yes | |
contents: Buffer |
This file contains hidden or 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
import Html exposing (Html, div, text) | |
-- give a name to an extensible record with fields common to all ducks | |
type alias Duck a = { a | name : String | |
, color : String } | |
-- operation common to all ducks |
This file contains hidden or 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 Main where | |
import Prelude | |
import Control.Monad.Eff.Console (log) | |
-- give a name to an extensible record with fields common to all ducks | |
type Duck a = { name :: String | |
, color :: String | a } |
This file contains hidden or 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 Main where | |
import Prelude | |
import Control.Monad.Eff.Console (log) | |
-- give a name to an extensible record with fields common to all ducks | |
type Duck a = { name :: String | |
, color :: String | a } |
This file contains hidden or 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
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] |
This file contains hidden or 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 Machine exposing (..) | |
type DoorState = Opened | Closed | |
type ClosedDoor = ClosedDoor DoorState | |
type OpenedDoor = OpenedDoor DoorState |
This file contains hidden or 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
main = print $ show $ head [] |
This file contains hidden or 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
{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; '' |
This file contains hidden or 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
<"ul" space> | |
ul _[]_ [] | |
^ List (Attribute msg) | |
<space> | |
ul [] _[]_ | |
^ List (Html msg) | |
<">"> |