Skip to content

Commit

Permalink
feat: add terms & privacy policy
Browse files Browse the repository at this point in the history
Adds the FRO's Terms of Use and Privacy Policy to the website, which now
falls under these terms.

Also reorganizes the footer links to accommodate these additional items.
  • Loading branch information
tydeu authored Oct 4, 2024
1 parent 3428c46 commit 2bf3531
Show file tree
Hide file tree
Showing 4 changed files with 1,439 additions and 8 deletions.
2 changes: 1 addition & 1 deletion netlify.toml
Original file line number Diff line number Diff line change
Expand Up @@ -7,7 +7,7 @@ publish = "site/.output/public/"

[dev]
command = "npm run dev"
port = 3000
targetPort = 3000
publish = "site/.output/public/"

[functions]
Expand Down
23 changes: 16 additions & 7 deletions site/components/FooterLinks.vue
Original file line number Diff line number Diff line change
@@ -1,24 +1,33 @@
<script setup lang="ts">
import GitHubIcon from '~icons/simple-icons/github'
import TwitterIcon from '~icons/simple-icons/twitter'
import XIcon from '~icons/simple-icons/x'
import LinkedinIcon from '~icons/simple-icons/linkedin'
import ZulipIcon from '~icons/simple-icons/zulip'
</script>

<template>
<div class="footer-links">
<div>
<h2 class="group-header">Lean</h2>
<h2 class="group-header">About</h2>
<ul>
<li><a href="https://lean-lang.org/">lean-lang.org</a></li>
<li><a href="https://lean-fro.org/">The Lean FRO</a></li>
<li><a href="https://leanprover-community.github.io/">Lean Community</a></li>
<li><a href="https://github.com/leanprover/lean4/issues">Report a bug</a></li>
<li><a href="https://loogle.lean-fro.org/">Loogle</a></li>
<li><NuxtLink to="/policies/terms">Terms of Use</NuxtLink></li>
<li><NuxtLink to="/policies/privacy">Privacy Policy</NuxtLink></li>
</ul>
</div>
<div>
<h2 class="group-header">Books</h2>
<h2 class="group-header">Explore</h2>
<ul>
<li><a href="https://adam.math.hhu.de//">Games</a></li>
<li><a href="https://live.lean-lang.org/">Playground</a></li>
<li><a href="https://leanprover-community.github.io/">Community</a></li>
<li><a href="https://moogle.ai/">Moogle</a></li>
<li><a href="https://loogle.lean-lang.org/">Loogle</a></li>
</ul>
</div>
<div>
<h2 class="group-header">Learn</h2>
<ul>
<li><a href="https://lean-lang.org/lean4/doc/whatIsLean.html">The Lean Manual</a></li>
<li><a href="https://lean-lang.org/theorem_proving_in_lean4/">Theorem Proving in Lean</a></li>
Expand All @@ -38,7 +47,7 @@ import ZulipIcon from '~icons/simple-icons/zulip'
</li>
<li>
<a href="https://twitter.com/leanprover">
<TwitterIcon class="prefix icon"/><span>@leanprover</span>
<XIcon class="prefix icon"/><span>@leanprover</span>
</a>
</li>
<li>
Expand Down
Loading

0 comments on commit 2bf3531

Please sign in to comment.