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?
| { hostPkgs ? import <nixpkgs> { }, ... }: | |
| let | |
| src = hostPkgs.fetchFromGitHub { | |
| owner = "NixOS"; | |
| repo = "nixpkgs"; | |
| rev = "1db42b7fe3878f3f5f7a4f2dc210772fd080e205"; | |
| sha256 = "sha256-8LEHoYSJiL901bTMVatq+rf8y7QtWuZhwwpKE2fyaRY="; | |
| }; | |
| pkgs = import src { }; | |
| in |
| { | |
| inputs = { | |
| nixpkgs.url = github:NixOS/nixpkgs/nixos-unstable; | |
| fenix = { | |
| url = "github:nix-community/fenix"; | |
| inputs.nixpkgs.follows = "nixpkgs"; | |
| }; | |
| naersk = { | |
| url = "github:nix-community/naersk"; | |
| inputs.nixpkgs.follows = "nixpkgs"; |
| module Quine exposing (main) | |
| import Html exposing (..) | |
| import Html.Attributes exposing (..) | |
| main = | |
| Html.textarea | |
| [ rows 30 | |
| , cols 160 |
| { pkgs ? import <nixpkgs> {}, ... }: | |
| let | |
| openwrt-archer-c7-v5-factory = pkgs.fetchurl { | |
| url = "http://downloads.openwrt.org/releases/19.07.2/targets/ath79/generic/openwrt-19.07.2-ath79-generic-tplink_archer-c7-v5-squashfs-factory.bin"; | |
| sha256 = ""; | |
| }; | |
| openwrt-archer-c7-v5-sysupgrade = pkgs.fetchurl { | |
| url = "http://downloads.openwrt.org/releases/19.07.2/targets/ath79/generic/openwrt-19.07.2-ath79-generic-tplink_archer-c7-v5-squashfs-factory.bin"; | |
| sha256 = ""; | |
| }; |
| #version 150 | |
| uniform float time; | |
| uniform vec2 resolution; | |
| uniform vec2 mouse; | |
| uniform vec3 spectrum; | |
| uniform sampler2D texture0; | |
| uniform sampler2D texture1; | |
| uniform sampler2D texture2; |
| // sml-list-style array functions | |
| copy = (xs) => xs.slice(0, xs.length) | |
| cons = (x, xs) => { ys = copy(xs); ys.unshift(x); return ys} | |
| isEmpty = (xs) => xs.length == 0 | |
| hd = (xs) => xs[0] | |
| tl = (xs) => { ys = copy(xs); ys.unshift(); return ys } | |
| repeat = (n, x) => new Array(n).fill(x) | |
| // |
| #! /usr/bin/env nix-shell | |
| #! nix-shell --pure -i runghc -p rsync openssh "haskellPackages.ghcWithPackages (pkgs: [ pkgs.turtle ])" | |
| {-# LANGUAGE OverloadedStrings #-} | |
| import Turtle | |
| import Prelude hiding (FilePath) | |
| import qualified Data.Text as T | |
| sshOpts :: [Text] | |
| sshOpts = ["-o", "StrictHostKeyChecking=accept-new"] |
| 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 |
| 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?