Merge pull request #111 from mitmath/use-new-pkg-manager

Author: fonsp

notebooks/week1/abstraction.jl

@@ -1,18 +1,11 @@
 ### A Pluto.jl notebook ###
-# v0.14.5
+# v0.16.0
 
 using Markdown
 using InteractiveUtils
 
 # ╔═╡ 75c8f825-d988-4f9e-8038-6b4dd2e24181
 begin
-    import Pkg
-    Pkg.activate(mktempdir())
-    Pkg.add([
-        Pkg.PackageSpec(name="HypertextLiteral", version="0.6"),
-        Pkg.PackageSpec(name="PlutoUI", version="0.7"),
-        Pkg.PackageSpec(url="https://github.com/JuliaPluto/PlutoTest.jl", rev="0c8b9b0"),
-    ])
     using HypertextLiteral
 	using PlutoTest
 	using PlutoUI
@@ -441,7 +434,7 @@ end
 # Layout = ingredients(download("https://raw.githubusercontent.com/fonsp/disorganised-mess/5a59ad7cff1e760b997a54ffa0f8fa202ac16db3/Layout.jl"))
 
 # ╔═╡ 4ea69625-0064-42da-a75a-a54fbd106f78
-stackrows(x) = permutedims(hcat(x...),(2,1))
+stackrows(x) = permutedims(hcat(x...),(2, 1))
 
 # ╔═╡ dd4855a0-0b7c-40a5-8565-94b40948f86d
 flex(x::Union{AbstractVector,Base.Generator}; kwargs...) = flex(x...; kwargs...)
@@ -499,7 +492,7 @@ Div(
 function flex(args...; kwargs...)
 	Div(;
 		contents=collect(args),
-		style=Dict("display" => "flex", ("flex-" * String(k) => string(v) for (k,v) in kwargs)...)
+		style=Dict("display" => "flex", ("flex-" * String(k) => string(v) for (k, v) in kwargs)...)
 		)
 end
 
@@ -560,7 +553,7 @@ grid([
 # ╔═╡ 13c0fbf3-08c6-4515-b710-f16b55165a2d
 vocabulary(x) = grid(stackrows((
 		[@htl("<span style='font-size: 1.2rem; font-weight: 700;'><code>$(k)</code></span>"), v]
-		for (k,v) in x
+		for (k, v) in x
 		)); fill_width=false)
 
 # ╔═╡ b2e49cd5-49d5-4ac7-a3ae-9820a97720fb
@@ -634,6 +627,102 @@ md"""
 > If you are following this course, then you will already be familiar with this concept! The homework exercises were all designed with the test-driven principle.
 """ |> aside
 
+# ╔═╡ 00000000-0000-0000-0000-000000000001
+PLUTO_PROJECT_TOML_CONTENTS = """
+[deps]
+HypertextLiteral = "ac1192a8-f4b3-4bfe-ba22-af5b92cd3ab2"
+PlutoTest = "cb4044da-4d16-4ffa-a6a3-8cad7f73ebdc"
+PlutoUI = "7f904dfe-b85e-4ff6-b463-dae2292396a8"
+
+[compat]
+HypertextLiteral = "~0.8.0"
+PlutoTest = "~0.1.0"
+PlutoUI = "~0.7.9"
+"""
+
+# ╔═╡ 00000000-0000-0000-0000-000000000002
+PLUTO_MANIFEST_TOML_CONTENTS = """
+# This file is machine-generated - editing it directly is not advised
+
+[[Base64]]
+uuid = "2a0f44e3-6c83-55bd-87e4-b1978d98bd5f"
+
+[[Dates]]
+deps = ["Printf"]
+uuid = "ade2ca70-3891-5945-98fb-dc099432e06a"
+
+[[HypertextLiteral]]
+git-tree-sha1 = "1e3ccdc7a6f7b577623028e0095479f4727d8ec1"
+uuid = "ac1192a8-f4b3-4bfe-ba22-af5b92cd3ab2"
+version = "0.8.0"
+
+[[InteractiveUtils]]
+deps = ["Markdown"]
+uuid = "b77e0a4c-d291-57a0-90e8-8db25a27a240"
+
+[[JSON]]
+deps = ["Dates", "Mmap", "Parsers", "Unicode"]
+git-tree-sha1 = "8076680b162ada2a031f707ac7b4953e30667a37"
+uuid = "682c06a0-de6a-54ab-a142-c8b1cf79cde6"
+version = "0.21.2"
+
+[[Logging]]
+uuid = "56ddb016-857b-54e1-b83d-db4d58db5568"
+
+[[Markdown]]
+deps = ["Base64"]
+uuid = "d6f4376e-aef5-505a-96c1-9c027394607a"
+
+[[Mmap]]
+uuid = "a63ad114-7e13-5084-954f-fe012c677804"
+
+[[Parsers]]
+deps = ["Dates"]
+git-tree-sha1 = "438d35d2d95ae2c5e8780b330592b6de8494e779"
+uuid = "69de0a69-1ddd-5017-9359-2bf0b02dc9f0"
+version = "2.0.3"
+
+[[PlutoTest]]
+deps = ["HypertextLiteral", "InteractiveUtils", "Markdown", "Test"]
+git-tree-sha1 = "3479836b31a31c29a7bac1f09d95f9c843ce1ade"
+uuid = "cb4044da-4d16-4ffa-a6a3-8cad7f73ebdc"
+version = "0.1.0"
+
+[[PlutoUI]]
+deps = ["Base64", "Dates", "InteractiveUtils", "JSON", "Logging", "Markdown", "Random", "Reexport", "Suppressor"]
+git-tree-sha1 = "44e225d5837e2a2345e69a1d1e01ac2443ff9fcb"
+uuid = "7f904dfe-b85e-4ff6-b463-dae2292396a8"
+version = "0.7.9"
+
+[[Printf]]
+deps = ["Unicode"]
+uuid = "de0858da-6303-5e67-8744-51eddeeeb8d7"
+
+[[Random]]
+deps = ["Serialization"]
+uuid = "9a3f8284-a2c9-5f02-9a11-845980a1fd5c"
+
+[[Reexport]]
+git-tree-sha1 = "45e428421666073eab6f2da5c9d310d99bb12f9b"
+uuid = "189a3867-3050-52da-a836-e630ba90ab69"
+version = "1.2.2"
+
+[[Serialization]]
+uuid = "9e88b42a-f829-5b0c-bbe9-9e923198166b"
+
+[[Suppressor]]
+git-tree-sha1 = "a819d77f31f83e5792a76081eee1ea6342ab8787"
+uuid = "fd094767-a336-5f1f-9728-57cf17d0bbfb"
+version = "0.2.0"
+
+[[Test]]
+deps = ["InteractiveUtils", "Logging", "Random", "Serialization"]
+uuid = "8dfed614-e22c-5e08-85e1-65c5234f0b40"
+
+[[Unicode]]
+uuid = "4ec0a83e-493e-50e2-b9ac-8f72acf5a8f5"
+"""
+
 # ╔═╡ Cell order:
 # ╟─10ebd434-adba-11eb-048f-2d084049d48f
 # ╟─ef4eea24-bc1c-43be-b9b6-d073ac2433cf
@@ -711,3 +800,5 @@ md"""
 # ╟─d31f0e84-dce9-4f81-8643-ef08684530d2
 # ╟─676ac6ff-1b7e-4c88-b850-45f4375a8d58
 # ╟─d43abe78-5a9d-4a22-999d-0ee85eb5ab7f
+# ╟─00000000-0000-0000-0000-000000000001
+# ╟─00000000-0000-0000-0000-000000000002