dralletje
/ Pluto Multiplayer.jl
Created
October 8, 2020 14:05
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.3 | |
| using Markdown | |
| using InteractiveUtils | |
| # ╔═╡ 7154a0e6-d7a3-11ea-2657-db1e00c80460 | |
| md"Define a function which will do some logging. Note that this could just as well be in an external library" | |
| # ╔═╡ 514ac9ea-d7a0-11ea-1512-e99df979d240 |