neongreen

/* eslint-disable @typescript-eslint/ban-types */
/* eslint-disable @typescript-eslint/no-floating-promises */

// Copied from https://github.com/vercel/next.js/blob/canary/packages/next/client/link.tsx on Jan 10, 2022, using commit
// '6581ba9daeebb722056f457f5b50e4236b9edcd3'. The modified bits are marked with "// WOC".

// Like next/link, but preloads the page's data as well. Requires the page to implement a 'preload' method.

import React from 'react'
import { UrlObject } from 'url'

neongreen

-- Example of a form using tiptap

renderForm :: CardUpdate -> Html
renderForm cardUpdate = formFor cardUpdate [hsx|
    {(textareaField #content) {
        disableLabel = True,
        fieldClass = "use-tiptap"
      }
    }
    {submitButton {label = "Save"}}

neongreen

let List/map =
      https://prelude.dhall-lang.org/List/map sha256:dd845ffb4568d40327f2a817eb42d1c6138b929ca758d50bc33112ef3c885680

let Text/concat =
      https://prelude.dhall-lang.org/Text/concat sha256:731265b0288e8a905ecff95c97333ee2db614c39d69f1514cb8eed9259745fc0

let Optional/fold =
      https://prelude.dhall-lang.org/Optional/fold
      sha256:c5b9d72f6f62bdaa0e196ac1c742cc175cd67a717b880fb8aec1333a5a4132cf

neongreen

// skypack pinned URLs can be obtained by visiting links like 'https://cdn.skypack.dev/@tiptap/core'
import { Editor, Extension } from 'https://cdn.skypack.dev/pin/@tiptap/core@v2.0.0-beta.103-1EijC0NTac4wtSFPah5m/mode=imports,min/optimized/@tiptap/core.js';
import StarterKit from 'https://cdn.skypack.dev/pin/@tiptap/starter-kit@v2.0.0-beta.102-HbN0d7mePZcMK0Js0Mvg/mode=imports,min/optimized/@tiptap/starter-kit.js';
import Typography from 'https://cdn.skypack.dev/pin/@tiptap/extension-typography@v2.0.0-beta.14-DZDA2cSqeTwyIh1QoLts/mode=imports,min/optimized/@tiptap/extension-typography.js';
import HardBreak from './tiptap-hard-break.js';
import CodeBlock from './tiptap-code-block.js';
import Link from './tiptap-link.js';

import TurndownService from 'https://cdn.skypack.dev/pin/turndown@v7.1.1-5XhlHlbwN5u9Cwiz1WQT/mode=imports,min/optimized/turndown.js';
import * as commonmark from 'https://cdn.skypack.dev/pin/commonmark@v0.30.0-RYoFWHhKKHdGwKqr6TYw/mode=imports,min/optimized/commonmark.js';

neongreen

/* artyom.brick.do */

@import url('https://fonts.googleapis.com/css2?family=Carter+One&family=Averia+Serif+Libre:ital,wght@0,400;0,700;1,400;1,700&display=swap');

figure {
  border: 1px solid #aaa;
  border-bottom: none;
}

figcaption {

neongreen

find . -name "*.html" -type f -exec sh -c \
  'dir=`dirname "$1"`; name=`basename "$1"`; (cd "$dir" && pandoc "$name" --self-contained -o "$name")' x {} +

neongreen

#!/usr/bin/env stack
-- stack --resolver lts-13.26 script --package purescript --extra-dep aeson-1.4.7.1 --extra-dep serialise-0.2.2.0 --extra-dep cborg-0.2.2.0 --extra-dep happy-1.19.9 --extra-dep language-javascript-0.7.0.0 --extra-dep network-3.0.1.1 --extra-dep these-1.0.1 --extra-dep semialign-1 --extra-dep assoc-1.0.1 --extra-dep bifunctors-5.5.7 --extra-dep th-abstraction-0.3.2.0 --extra-dep time-compat-1.9.3 --package text --optimize

{-# LANGUAGE LambdaCase #-}

import Data.List
import Data.List.NonEmpty (toList)
import qualified Data.Text.IO as T
import Language.PureScript.CST.Errors
import Language.PureScript.CST.Parser

neongreen

#include <Arduboy2.h>
#include <ArduboyTones.h>
#include <stdint.h>
#include <EEPROM.h>

Arduboy2 arduboy;
ArduboyTones sound(arduboy.audio.enabled);

/*
  Changelog:

neongreen

let List/map =
      https://prelude.dhall-lang.org/List/map sha256:dd845ffb4568d40327f2a817eb42d1c6138b929ca758d50bc33112ef3c885680

let Text/concat =
      https://prelude.dhall-lang.org/Text/concat sha256:731265b0288e8a905ecff95c97333ee2db614c39d69f1514cb8eed9259745fc0

let JSON =
      https://prelude.dhall-lang.org/JSON/package.dhall sha256:0c3c40a63108f2e6ad59f23b789c18eb484d0e9aebc9416c5a4f338c6753084b

let Map =

neongreen

with import <nixpkgs> { };

let
  proto3-wire-src = fetchFromGitHub {
    owner = "awakenetworks";
    repo = "proto3-wire";
    rev = "4f355bbac895d577d8a28f567ab4380f042ccc24";
    sha256 = "16l1rnnygwk1b2sb3l6klhr6ad0wvry204icxnc81c6rbzbk6rqc";
  };