Skip to content

Commit

Permalink
Fix paths for fonts
Browse files Browse the repository at this point in the history
  • Loading branch information
Mia Kramer committed Sep 15, 2024
1 parent 6e10b5e commit 16c2d52
Show file tree
Hide file tree
Showing 2 changed files with 17 additions and 37 deletions.
32 changes: 16 additions & 16 deletions _css/style.css
View file
Original file line number Diff line number Diff line change
Expand Up @@ -2,127 +2,127 @@
font-family: JuliaMono;
font-weight: 300;
font-style: normal;
src: url("/assets/JuliaMono/JuliaMono-Light.woff2") format("woff2");
src: local("JuliaMono"), url("/julia-workshop/assets/JuliaMono/JuliaMono-Light.woff2") format("woff2");
text-rendering: optimizeLegibility;
}

@font-face {
font-family: JuliaMono;
font-weight: 400;
font-style: normal;
src: url("/assets/JuliaMono/JuliaMono-Regular.woff2") format("woff2");
src: local("JuliaMono"), url("/julia-workshop/assets/JuliaMono/JuliaMono-Regular.woff2") format("woff2");
text-rendering: optimizeLegibility;
}

@font-face {
font-family: JuliaMono;
font-weight: 500;
font-style: normal;
src: url("/assets/JuliaMono/JuliaMono-Medium.woff2") format("woff2");
src: local("JuliaMono"), url("/julia-workshop/assets/JuliaMono/JuliaMono-Medium.woff2") format("woff2");
text-rendering: optimizeLegibility;
}

@font-face {
font-family: JuliaMono;
font-weight: 600;
font-style: normal;
src: url("/assets/JuliaMono/JuliaMono-SemiBold.woff2") format("woff2");
src: local("JuliaMono"), url("/julia-workshop/assets/JuliaMono/JuliaMono-SemiBold.woff2") format("woff2");
text-rendering: optimizeLegibility;
}

@font-face {
font-family: JuliaMono;
font-weight: 700;
font-style: normal;
src: url("/assets/JuliaMono/JuliaMono-Bold.woff2") format("woff2");
src: local("JuliaMono"), url("/julia-workshop/assets/JuliaMono/JuliaMono-Bold.woff2") format("woff2");
text-rendering: optimizeLegibility;
}

@font-face {
font-family: JuliaMono;
font-weight: 800;
font-style: normal;
src: url("/assets/JuliaMono/JuliaMono-ExtraBold.woff2") format("woff2");
src: local("JuliaMono"), url("/julia-workshop/assets/JuliaMono/JuliaMono-ExtraBold.woff2") format("woff2");
text-rendering: optimizeLegibility;
}

@font-face {
font-family: JuliaMono;
font-weight: 900;
font-style: normal;
src: url("/assets/JuliaMono/JuliaMono-Black.woff2") format("woff2");
src: local("JuliaMono"), url("/julia-workshop/assets/JuliaMono/JuliaMono-Black.woff2") format("woff2");
text-rendering: optimizeLegibility;
}

@font-face {
font-family: "Libertinus Serif";
font-weight: 400;
font-style: normal;
src: url("/assets/Libertinus/LibertinusSerif-Regular.woff2") format("woff2");
src: local("Libertinus Serif"), url("/julia-workshop/assets/Libertinus/LibertinusSerif-Regular.woff2") format("woff2");
text-rendering: optimizeLegibility;
}

@font-face {
font-family: "Libertinus Serif";
font-weight: 400;
font-style: italic;
src: url("/assets/Libertinus/LibertinusSerif-Italic.woff2") format("woff2");
src: local("Libertinus Serif"), url("/julia-workshop/assets/Libertinus/LibertinusSerif-Italic.woff2") format("woff2");
text-rendering: optimizeLegibility;
}

@font-face {
font-family: "Libertinus Serif";
font-weight: 600;
font-style: normal;
src: url("/assets/Libertinus/LibertinusSerif-Semibold.woff2") format("woff2");
src: local("Libertinus Serif"), url("/julia-workshop/assets/Libertinus/LibertinusSerif-Semibold.woff2") format("woff2");
text-rendering: optimizeLegibility;
}

@font-face {
font-family: "Libertinus Serif";
font-weight: 600;
font-style: italic;
src: url("/assets/Libertinus/LibertinusSerif-SemiboldItalic.woff2") format("woff2");
src: local("Libertinus Serif"), url("/julia-workshop/assets/Libertinus/LibertinusSerif-SemiboldItalic.woff2") format("woff2");
text-rendering: optimizeLegibility;
}

@font-face {
font-family: "Libertinus Serif";
font-weight: 700;
font-style: normal;
src: url("/assets/Libertinus/LibertinusSerif-Bold.woff2") format("woff2");
src: local("Libertinus Serif"), url("/julia-workshop/assets/Libertinus/LibertinusSerif-Bold.woff2") format("woff2");
text-rendering: optimizeLegibility;
}

@font-face {
font-family: "Libertinus Serif";
font-weight: 700;
font-style: italic;
src: url("/assets/Libertinus/LibertinusSerif-BoldItalic.woff2") format("woff2");
src: local("Libertinus Serif"), url("/julia-workshop/assets/Libertinus/LibertinusSerif-BoldItalic.woff2") format("woff2");
text-rendering: optimizeLegibility;
}

@font-face {
font-family: "Libertinus Sans";
font-weight: 400;
font-style: normal;
src: url("/assets/Libertinus/LibertinusSans-Regular.woff2") format("woff2");
src: local("Libertinus Sans"), url("/julia-workshop/assets/Libertinus/LibertinusSans-Regular.woff2") format("woff2");
text-rendering: optimizeLegibility;
}

@font-face {
font-family: "Libertinus Sans";
font-weight: 400;
font-style: italic;
src: url("/assets/Libertinus/LibertinusSans-Italic.woff2") format("woff2");
src: local("Libertinus Sans"), url("/julia-workshop/assets/Libertinus/LibertinusSans-Italic.woff2") format("woff2");
text-rendering: optimizeLegibility;
}

@font-face {
font-family: "Libertinus Sans";
font-weight: 700;
font-style: normal;
src: url("/assets/Libertinus/LibertinusSans-Bold.woff2") format("woff2");
src: local("Libertinus Sans"), url("/julia-workshop/assets/Libertinus/LibertinusSans-Bold.woff2") format("woff2");
text-rendering: optimizeLegibility;
}

Expand Down
22 changes: 1 addition & 21 deletions problems/day2.jl
View file
Original file line number Diff line number Diff line change
Expand Up @@ -30,27 +30,7 @@ end
# ┏━━━━━━━━━━━┓
# ┃ Problem 3 ┃
# ┗━━━━━━━━━━━┛
#
# Problem 3: Peano Arithmetic
# Peano arithmetic provides a compact axiomatic description of the natural numbers. An informal description is:
# - There exists 0.
# - There exists the successor function, S(). S(x) != 0 ∀ x
# - S(x) == S(y) implies x == y
# From this we can recursively construct the naturals. Further, we can define addition recursively:
# - +(x, 0) = x (and similar methods)
# - +(x, S(y)) = S(x + y)
# As well as multiplication:
# - *(x, 0) = 0 (and similar methods)
# - *(x, S(y)) = x + (x * y)
# For your implementation, you'll define types and methods to compute Peano arithmetic.
# - There should be two subtypes of `PeanoNumber`: `Zero` and `S`
# - `Zero` should have no fields
# - `S` should have a single parameter `P <: PeanoNumber`, and a single field of type `P`
# - You should define + and *
# - You should also define `convert(::Type{Int}, ...)` to turn the Peano numbers into regular ints.
# - The opposite conversion has been done for you
# HINT: Think recursively! Remember dispatch!
# HINT: Don't try to use too large of numbers. You'll find you're implementing arithmetic _in the type system_, so this can work the compiler pretty hard!


import Base: +, *, convert

Expand Down

0 comments on commit 16c2d52

Please sign in to comment.