From 77a33a73cc11e2a4a66db549f43ec5f0e0c6eb56 Mon Sep 17 00:00:00 2001
From: braxtonhall
Date: Sun, 23 Oct 2022 19:29:26 -0700
Subject: Add Reid's contribution

---
 README.md | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'README.md')

diff --git a/README.md b/README.md
index 4eb6fa1..51ade8f 100644
--- a/README.md
+++ b/README.md
@@ -34,6 +34,9 @@ For a submission to the upcoming "Reclaim your space" exhibition at [Hatch Art G
 ### [`nritschel`](https://github.com/nritschel)
 - [`fib-java`](./entries/nritschel/fib-java/src)
 
+### [`rtholmes`](https://github.com/rtholmes)
+- [`stack-overflow`](./entries/rtholmes/Fibonacci%20series%20in%20JavaScript%20-%20Stack%20Overflow.webloc)
+
 ### [`shayanh`](https://github.com/shayanh)
 - [`matrix`](./entries/shayanh/matrix.go)
 
-- 
cgit v1.2.3-70-g09d2


From 4c717196fd630c5c207e114ffa9ca9c301eb1198 Mon Sep 17 00:00:00 2001
From: Jonathan Chan
Date: Sun, 23 Oct 2022 23:07:43 -0400
Subject: Fortran :) (also moved my Agda file up a dir)

---
 README.md                        |  3 ++-
 entries/ionathanch/Fib.agda      | 19 +++++++++++++++++++
 entries/ionathanch/agda/Fib.agda | 19 -------------------
 entries/ionathanch/fib.f90       | 21 +++++++++++++++++++++
 4 files changed, 42 insertions(+), 20 deletions(-)
 create mode 100644 entries/ionathanch/Fib.agda
 delete mode 100644 entries/ionathanch/agda/Fib.agda
 create mode 100644 entries/ionathanch/fib.f90

(limited to 'README.md')

diff --git a/README.md b/README.md
index 51ade8f..0fcbc53 100644
--- a/README.md
+++ b/README.md
@@ -16,7 +16,8 @@ For a submission to the upcoming "Reclaim your space" exhibition at [Hatch Art G
 <!-- - `imperitive-church` imperitive implementation in the lambda calculus -->
 
 ### [`ionathanch`](https://github.com/ionathanch)
-- [`agda`](./entries/ionathanch/agda/Fib.agda)
+- [`agda`](./entries/ionathanch/Fib.agda)
+- [`fortran`](./entries/ionathanch/fib.f90)
 
 ### [`funemy`](https://github.com/funemy)
 - [`agda`](./entries/funemy/agda/fib1.agda)
diff --git a/entries/ionathanch/Fib.agda b/entries/ionathanch/Fib.agda
new file mode 100644
index 0000000..a12b0a5
--- /dev/null
+++ b/entries/ionathanch/Fib.agda
@@ -0,0 +1,19 @@
+
+open import Agda.Builtin.Nat
+open import Agda.Builtin.List
+open import Agda.Builtin.Reflection
+
+data Fib : Nat → Nat → Set where
+  instance F0 : Fib 0 0
+  instance F1 : Fib 1 1
+  instance Fk : ∀ {k n m} → ⦃ Fib k n ⦄ → ⦃ Fib (suc k) m ⦄ → Fib (suc (suc k)) (n + m)
+
+fib' : ∀ k {n} → ⦃ Fib k n ⦄ → Nat
+fib' k {n} ⦃ fib ⦄ = n
+
+macro
+  fib : Term → Term → TC _
+  fib t hole = unify hole (def (quote fib') (arg i t ∷ []))
+    where i = arg-info visible (modality relevant quantity-ω)
+
+{- Get the [n]th Fibonacci number by normalization via C-n `fib [n]`. -}
diff --git a/entries/ionathanch/agda/Fib.agda b/entries/ionathanch/agda/Fib.agda
deleted file mode 100644
index a12b0a5..0000000
--- a/entries/ionathanch/agda/Fib.agda
+++ /dev/null
@@ -1,19 +0,0 @@
-
-open import Agda.Builtin.Nat
-open import Agda.Builtin.List
-open import Agda.Builtin.Reflection
-
-data Fib : Nat → Nat → Set where
-  instance F0 : Fib 0 0
-  instance F1 : Fib 1 1
-  instance Fk : ∀ {k n m} → ⦃ Fib k n ⦄ → ⦃ Fib (suc k) m ⦄ → Fib (suc (suc k)) (n + m)
-
-fib' : ∀ k {n} → ⦃ Fib k n ⦄ → Nat
-fib' k {n} ⦃ fib ⦄ = n
-
-macro
-  fib : Term → Term → TC _
-  fib t hole = unify hole (def (quote fib') (arg i t ∷ []))
-    where i = arg-info visible (modality relevant quantity-ω)
-
-{- Get the [n]th Fibonacci number by normalization via C-n `fib [n]`. -}
diff --git a/entries/ionathanch/fib.f90 b/entries/ionathanch/fib.f90
new file mode 100644
index 0000000..3cf1850
--- /dev/null
+++ b/entries/ionathanch/fib.f90
@@ -0,0 +1,21 @@
+PROGRAM main
+  ! The 93rd Fibonacci number is the largest that fits in 64 bits anyway
+  CHARACTER(3) :: kth
+  INTEGER :: k
+  CALL get_command_argument(1, kth)
+  READ(kth, *) k
+  WRITE(*, *) fib(k)
+CONTAINS
+
+PURE RECURSIVE INTEGER*8 FUNCTION fib(k) RESULT(n)
+  INTEGER, INTENT (IN) :: k
+  IF (k == 0) THEN
+    n = 0
+  ELSE IF (k == 1) THEN
+    n = 1
+  ELSE
+    n = fib(k - 1) + fib(k - 2)
+  END IF
+END FUNCTION fib
+
+END PROGRAM
-- 
cgit v1.2.3-70-g09d2


From 383b5fe9374f580ef2d1eb3a450cb8b755ad54d4 Mon Sep 17 00:00:00 2001
From: braxtonhall
Date: Sun, 23 Oct 2022 21:08:22 -0700
Subject: Migrate contributors to static html

---
 README.md   |  43 ---------------
 index.html  |  93 ++++++++++++++++++++++++++++++++
 people.json | 172 ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
 3 files changed, 265 insertions(+), 43 deletions(-)
 create mode 100644 index.html
 create mode 100644 people.json

(limited to 'README.md')

diff --git a/README.md b/README.md
index 0fcbc53..738eae3 100644
--- a/README.md
+++ b/README.md
@@ -4,49 +4,6 @@ Can you please give me a Fibonacci function? Ideally (but not necessarily) one t
 
 For a submission to the upcoming "Reclaim your space" exhibition at [Hatch Art Gallery](https://www.instagram.com/hatch_artgallery).
 
-### [`adirar111`](https://github.com/adirar111)
-- [`y86`](./entries/adirar111/y86/fib.s)
-
-### [`braxtonhall`](https://github.com/braxtonhall)
-- [`adam`](./entries/braxtonhall/adam/main.py) (WIP)
-- [`express`](./entries/braxtonhall/express/index.js)
-- [`homework`](./entries/braxtonhall/homework/fib.cpp)
-- [`types`](./entries/braxtonhall/types/index.ts)
-<!-- - `smt` compiles to SMT, and the solver gives you the fib sequence -->
-<!-- - `imperitive-church` imperitive implementation in the lambda calculus -->
-
-### [`ionathanch`](https://github.com/ionathanch)
-- [`agda`](./entries/ionathanch/Fib.agda)
-- [`fortran`](./entries/ionathanch/fib.f90)
-
-### [`funemy`](https://github.com/funemy)
-- [`agda`](./entries/funemy/agda/fib1.agda)
-- [`z3`](./entries/funemy/z3/z3fib.sh)
-
-### [`jyoo980`](https://github.com/jyoo980)
-- [`scala`](./entries/jyoo980/scala/Fib.scala)
-
-### [`margoseltzer`](https://github.com/margoseltzer)
-- [`efficiency`](./entries/margoseltzer/efficiency.c)
-
-### [`Metroxe`](https://github.com/Metroxe)
-- [`html`](./entries/Metroxe/index.html)
-
-### [`nritschel`](https://github.com/nritschel)
-- [`fib-java`](./entries/nritschel/fib-java/src)
-
-### [`rtholmes`](https://github.com/rtholmes)
-- [`stack-overflow`](./entries/rtholmes/Fibonacci%20series%20in%20JavaScript%20-%20Stack%20Overflow.webloc)
-
-### [`shayanh`](https://github.com/shayanh)
-- [`matrix`](./entries/shayanh/matrix.go)
-
-### [`Tarcisio-Teixeira`](https://github.com/Tarcisio-Teixeira)
-- [`logn?`](./entries/Tarcisio-Teixeira/fib.py)
-
-### [`wilbowma`](https://github.com/wilbowma)
-- [`fib-lang`](https://github.com/wilbowma/fib-lang/tree/2ec2d1dfd141220882d824cf3dac5b374ed291f3)
-
 ## Contributing
 To contribute just make a PR into the `main` branch!
 
diff --git a/index.html b/index.html
new file mode 100644
index 0000000..3755c55
--- /dev/null
+++ b/index.html
@@ -0,0 +1,93 @@
+<!DOCTYPE html>
+<html lang="en">
+<head>
+    <meta charset="UTF-8">
+    <title>fib</title>
+    <style>
+        .person {
+            margin-bottom: 1em;
+        }
+        .person-pic {
+            width: 50px;
+        }
+        .person-header {
+            display: flex;
+            align-items: end;
+        }
+        .person-header > * {
+            margin: 0.5em;
+        }
+        .person-name {
+            margin-bottom: 0;
+        }
+        .person-title {
+            margin-top: 0;
+            font-size: 80%;
+        }
+        .person > p {
+            margin: 0;
+            margin-left: 0.5em;
+        }
+        #contributors-container {
+            margin-top: 3em;
+        }
+    </style>
+    <script src="https://ajax.googleapis.com/ajax/libs/jquery/3.6.0/jquery.min.js"></script>
+</head>
+<body>
+    <h1><code>fib</code></h1>
+    <p>Can you please give me a Fibonacci function? Ideally (but not necessarily) one that only you would give me.</p>
+
+    <p>For a submission to the upcoming "Reclaim your space" exhibition at <a href="https://www.instagram.com/hatch_artgallery">Hatch Art Gallery</a>.</p>
+
+    <div id="contributors-container">
+        <h3>Contributors</h3>
+        <div id="contributors"></div>
+    </div>
+<script>
+    const getContributors = _ => fetch("/people.json").then(res => res.json());
+
+    const toPersonNode = person => $("<div>", {class: "person"}).append(
+        toPersonHeader(person),
+        ...person.entries.sort(cmpEntry).map(toPersonEntryNode),
+    );
+
+    const toPersonImage = github => github
+        ? $("<img>", {class: "person-pic", src: `https://github.com/${github}.png`, alt: github})
+        : $("<div>", {class: "person-pic"});
+    
+
+    const toPersonDetails = person =>
+        $("<div>").append(
+            person.github
+                ? $("<a>", {href: `https://github.com/${person.github}`})
+                    .append($("<p>", {class: "person-name"}).text(person.name))
+                : $("<p>", {class: "person-name"}).text(person.name),
+            $("<p>", {class: "person-title"}).text(person.title),
+        );
+
+    const toPersonHeader = person => $("<div>", {class: "person-header"})
+        .append(toPersonImage(person.github), toPersonDetails(person));
+
+    const toPersonEntryNode = entry => $("<p>").append(
+        $("<a>", {
+            href: entry.link.startsWith("./entries")
+                ? `https://github.com/braxtonhall/fib/tree/main/${entry.link.replace(/^\.\//, "")}`
+                : entry.link
+        }).append($("<code>").text(entry.name)),
+    );
+
+    const cmpPeople = () => 1; // TODO
+
+    const cmpEntry = () => 1; // TODO
+
+    $(document).ready(async _ => {
+        const contributors = await getContributors()
+            .then(people => people.sort(cmpPeople))
+            .then(people => people.map(toPersonNode))
+            .then(nodes => $("#contributors").append(...nodes));
+        console.log(contributors);
+    });
+</script>
+</body>
+</html>
diff --git a/people.json b/people.json
new file mode 100644
index 0000000..cc5e8e3
--- /dev/null
+++ b/people.json
@@ -0,0 +1,172 @@
+[
+    {
+        "github": "adirar111",
+        "name": "Aymen Dirar",
+        "title": "BSc Student, UBC",
+        "entries": [
+            {
+                "name": "y86",
+                "link": "./entries/adirar111/y86/fib.s"
+            }
+        ]
+    },
+    {
+        "github": "braxtonhall",
+        "name": "Braxton Hall",
+        "title": "MSc, UBC",
+        "entries": [
+            {
+                "name": "express",
+                "link": "./entries/braxtonhall/express/index.js"
+            },
+            {
+                "name": "homework",
+                "link": "./entries/braxtonhall/homework/fib.cpp"
+            },
+            {
+                "name": "types",
+                "link": "./entries/braxtonhall/types/index.ts"
+            }
+        ]
+    },
+    {
+        "github": "ionathanch",
+        "name": "Jonathan Chan",
+        "title": "MSc, UBC",
+        "entries": [
+            {
+                "name": "agda",
+                "link": "./entries/ionathanch/Fib.agda"
+            },
+            {
+                "name": "fortran",
+                "link": "./entries/ionathanch/fib.f90"
+            }
+        ]
+    },
+    {
+        "github": "funemy",
+        "name": "Yanze Li",
+        "title": "PhD Student, UBC",
+        "entries": [
+            {
+                "name": "agda",
+                "link": "./entries/funemy/agda/fib1.agda"
+            },
+            {
+                "name": "z3",
+                "link": "./entries/funemy/z3/z3fib.sh"
+            }
+        ]
+    },
+    {
+        "github": "jyoo980",
+        "name": "James Yoo",
+        "title": "MSc, UBC",
+        "entries": [
+            {
+                "name": "scala",
+                "link": "./entries/jyoo980/scala/Fib.scala"
+            }
+        ]
+    },
+    {
+        "github": "margoseltzer",
+        "name": "Margo Seltzer",
+        "title": "Professor of Computer Science, UBC",
+        "entries": [
+            {
+                "name": "efficiency",
+                "link": "./entries/margoseltzer/efficiency.c"
+            }
+        ]
+    },
+    {
+        "github": "meghasinghania22",
+        "name": "Megha Singhania",
+        "title": "BSc, UBC",
+        "entries": [
+            {
+                "name": "bash",
+                "link": "./entries/meghasinghania22/bash/script.sh"
+            }
+        ]
+    },
+    {
+        "github": "Metroxe",
+        "name": "Christopher Powroznik",
+        "title": "BCom, UBC",
+        "entries": [
+            {
+                "name": "html",
+                "link": "./entries/Metroxe/index.html"
+            }
+        ]
+    },
+    {
+        "github": "nritschel",
+        "name": "Nico Ritschel",
+        "title": "PhD Student, UBC",
+        "entries": [
+            {
+                "name": "fib-java",
+                "link": "./entries/nritschel/fib-java/src"
+            }
+        ]
+    },
+    {
+        "github": "perryliao",
+        "name": "Perry Liao",
+        "title": "BSc, UBC",
+        "entries": [
+            {
+                "name": "groovy",
+                "link": "./entries/perryliao/fib.groovy"
+            }
+        ]
+    },
+    {
+        "github": "rtholmes",
+        "name": "Reid Holmes",
+        "title": "Associate Professor of Computer Science, UBC",
+        "entries": [
+            {
+                "name": "stack-overflow",
+                "link": "./entries/rtholmes/Fibonacci%20series%20in%20JavaScript%20-%20Stack%20Overflow.webloc"
+            }
+        ]
+    },
+    {
+        "github": "shayanh",
+        "name": "Shayan Hosseini",
+        "title": "MSc Student, UBC",
+        "entries": [
+            {
+                "name": "matrix",
+                "link": "./entries/shayanh/matrix.go"
+            }
+        ]
+    },
+    {
+        "github": "Tarcisio-Teixeira",
+        "name": "Tarcísio Teixeira",
+        "title": "MSc Student, UBC",
+        "entries": [
+            {
+                "name": "logn?",
+                "link": "./entries/Tarcisio-Teixeira/fib.py"
+            }
+        ]
+    },
+    {
+        "github": "wilbowma",
+        "name": "William Bowman",
+        "title": "Assistant Professor of Computer Science, UBC",
+        "entries": [
+            {
+                "name": "fib-lang",
+                "link": "https://github.com/wilbowma/fib-lang/tree/2ec2d1dfd141220882d824cf3dac5b374ed291f3"
+            }
+        ]
+    }
+]
\ No newline at end of file
-- 
cgit v1.2.3-70-g09d2


From 01f4656a8c394ab1016ef303a72a53d3de3c16f1 Mon Sep 17 00:00:00 2001
From: braxtonhall
Date: Sun, 23 Oct 2022 21:22:13 -0700
Subject: Update HTML

---
 README.md  | 2 ++
 index.html | 7 +++++--
 2 files changed, 7 insertions(+), 2 deletions(-)

(limited to 'README.md')

diff --git a/README.md b/README.md
index 738eae3..4f01315 100644
--- a/README.md
+++ b/README.md
@@ -4,6 +4,8 @@ Can you please give me a Fibonacci function? Ideally (but not necessarily) one t
 
 For a submission to the upcoming "Reclaim your space" exhibition at [Hatch Art Gallery](https://www.instagram.com/hatch_artgallery).
 
+[See the contributors here](https://braxtonhall.ca/fib)
+
 ## Contributing
 To contribute just make a PR into the `main` branch!
 
diff --git a/index.html b/index.html
index 9bf65f9..1d32e83 100644
--- a/index.html
+++ b/index.html
@@ -30,6 +30,7 @@
         }
         #contributors-container {
             margin-top: 3em;
+            margin-bottom: 3em;
         }
     </style>
     <script src="https://ajax.googleapis.com/ajax/libs/jquery/3.6.0/jquery.min.js"></script>
@@ -44,8 +45,10 @@
         <h3>Contributors</h3>
         <div id="contributors"></div>
     </div>
+
+    <a href="https://github.com/braxtonhall/fib#contributing"><span>Want to contribute?</span></a>
 <script>
-    const getContributors = _ => fetch(`${window.location.href}/people.json`).then(res => res.json());
+    const getContributors = _ => fetch(`/fib/people.json`).then(res => res.json());
 
     const toPersonNode = person => $("<div>", {class: "person"}).append(
         toPersonHeader(person),
@@ -55,7 +58,7 @@
     const toPersonImage = github => github
         ? $("<img>", {class: "person-pic", src: `https://github.com/${github}.png`, alt: github})
         : $("<div>", {class: "person-pic"});
-    
+
 
     const toPersonDetails = person =>
         $("<div>").append(
-- 
cgit v1.2.3-70-g09d2


From ca09b8229ba680d5e5400ed72b121e8302990dab Mon Sep 17 00:00:00 2001
From: Braxton Hall
Date: Sun, 23 Oct 2022 21:57:55 -0700
Subject: Update README.md

---
 README.md | 1 +
 1 file changed, 1 insertion(+)

(limited to 'README.md')

diff --git a/README.md b/README.md
index 4f01315..fa5de78 100644
--- a/README.md
+++ b/README.md
@@ -12,6 +12,7 @@ To contribute just make a PR into the `main` branch!
 1. Click `Fork` button in the top right of the GitHub page
 1. Develop your `fib` and push to your fork
    - Put your `fib` in a directory with your GitHub ID under the [`entries/`](./entries) directory
+   - Add yourself and your `fib` to [`people.json`](./people.json)
 1. Click the `Pull requests` tab and then the `New pull request` in your fork
 1. Set the base repo and branch to be `braxtonhall/fib` and `main`
 1. Click `Create pull request`
-- 
cgit v1.2.3-70-g09d2