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
### A Pluto.jl notebook ### | |
# v0.12.1 | |
using Markdown | |
using InteractiveUtils | |
# ╔═╡ 0b727cd8-17bf-11eb-336e-2be32fb05968 | |
md""" [Jump to anchor](#myanchor) """ | |
# ╔═╡ 7cb468ca-17bf-11eb-2182-e5f225f17e18 |
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
### A Pluto.jl notebook ### | |
# v0.12.4 | |
using Markdown | |
using InteractiveUtils | |
# ╔═╡ 2b19a632-139f-11eb-357e-d5458c7cf647 | |
md"# Meta.@lower and @code_lowered" | |
# ╔═╡ 40ba8faa-139f-11eb-273c-739e6265410e |
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 Pluto | |
# ╔═╡ 2b310e52-1219-11eb-26f8-ed6dcdbaad47 | |
Base.@kwdef struct PlutoWidget | |
html::HTML | |
default::Any | |
end | |
# ╔═╡ 586d4546-1219-11eb-1ed7-7791a437bd4f | |
function Base.show(io::IO, mime::MIME"text/html", widget::PlutoWidget) |
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
### A Pluto.jl notebook ### | |
# v0.11.4 | |
using Markdown | |
using InteractiveUtils | |
# This Pluto notebook uses @bind for interactivity. When running this notebook outside of Pluto, the following 'mock version' of @bind gives bound variables a default value (instead of an error). | |
macro bind(def, element) | |
quote | |
local el = $(esc(element)) |
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
### A Pluto.jl notebook ### | |
# v0.11.14 | |
using Markdown | |
using InteractiveUtils | |
# ╔═╡ cf2958da-f8da-11ea-3e03-5fd8e443ce37 | |
html"""<script> | |
let firebase = await require.alias({ | |
"@firebase/app": "https://www.gstatic.com/firebasejs/6.3.1/firebase-app.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
### A Pluto.jl notebook ### | |
# v0.11.14 | |
using Markdown | |
using InteractiveUtils | |
# ╔═╡ 823571c6-065e-11eb-3ef7-317b596d0dd2 | |
html""" | |
<script src="https://cdn.jsdelivr.net/npm/lodash@4/lodash.min.js"></script> | |
<script> |
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
### A Pluto.jl notebook ### | |
# v0.11.14 | |
using Markdown | |
using InteractiveUtils | |
# ╔═╡ c58752e4-f038-11ea-0726-f98f4287c9f4 | |
md""" | |
# Use counter in Pluto |
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
### A Pluto.jl notebook ### | |
# v0.11.14 | |
using Markdown | |
using InteractiveUtils | |
# ╔═╡ c58752e4-f038-11ea-0726-f98f4287c9f4 | |
md""" | |
# Use counter in Pluto |
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
### A Pluto.jl notebook ### | |
# v0.11.14 | |
using Markdown | |
using InteractiveUtils | |
# ╔═╡ afc4f67e-f705-11ea-3cfc-116b0cdb70c3 | |
begin | |
macro_expression = quote | |
@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
const puppeteer = require("puppeteer"); | |
(async () => { | |
const browser = await puppeteer.launch({ headless: false }); | |
const page = await browser.newPage(); | |
await page.evaluateOnNewDocument(() => { | |
Object.defineProperty(HTMLCanvasElement.prototype, "toBlob", { | |
value: () => { | |
console.log("Hey there"); |