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
| // 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/[email protected]/mode=imports,min/optimized/@tiptap/core.js'; | |
| import StarterKit from 'https://cdn.skypack.dev/pin/@tiptap/[email protected]/mode=imports,min/optimized/@tiptap/starter-kit.js'; | |
| import Typography from 'https://cdn.skypack.dev/pin/@tiptap/[email protected]/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/[email protected]/mode=imports,min/optimized/turndown.js'; | |
| import * as commonmark from 'https://cdn.skypack.dev/pin/[email protected]/mode=imports,min/optimized/commonmark.js'; |
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
| /* 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 { |
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
| find . -name "*.html" -type f -exec sh -c \ | |
| 'dir=`dirname "$1"`; name=`basename "$1"`; (cd "$dir" && pandoc "$name" --self-contained -o "$name")' x {} + |
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
| #!/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 |
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
| #include <Arduboy2.h> | |
| #include <ArduboyTones.h> | |
| #include <stdint.h> | |
| #include <EEPROM.h> | |
| Arduboy2 arduboy; | |
| ArduboyTones sound(arduboy.audio.enabled); | |
| /* | |
| Changelog: |
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
| 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 = |
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
| with import <nixpkgs> { }; | |
| let | |
| proto3-wire-src = fetchFromGitHub { | |
| owner = "awakenetworks"; | |
| repo = "proto3-wire"; | |
| rev = "4f355bbac895d577d8a28f567ab4380f042ccc24"; | |
| sha256 = "16l1rnnygwk1b2sb3l6klhr6ad0wvry204icxnc81c6rbzbk6rqc"; | |
| }; |
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 Pipes.Core | |
| ( -- * Proxy Monad Transformer | |
| -- $proxy | |
| Proxy | |
| , runEffect | |
| , -- * Categories | |
| -- $categories | |
| -- ** Respond | |
| -- $respond |
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 Pipes.Core ( | |
| -- * Proxy Monad Transformer | |
| -- $proxy | |
| Proxy | |
| , runEffect | |
| -- * Categories | |
| -- $categories | |
| -- ** Respond |
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
| {-# LANGUAGE RankNTypes #-} | |
| {-# LANGUAGE AllowAmbiguousTypes #-} | |
| {-# LANGUAGE TypeApplications #-} | |
| class Voodoo tag where | |
| -- Let's define an operation that requires TypeApplications in order to work | |
| voodoo :: Int -> String | |
| -- Let's also have an instance (we could have more, of course) | |
| data Tag |