-
Notifications
You must be signed in to change notification settings - Fork 10
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Deploying to gh-pages from @ aeb1e5e 🚀
- Loading branch information
Showing
11 changed files
with
22 additions
and
22 deletions.
There are no files selected for viewing
This file contains 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
This file contains 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
This file contains 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
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -1,9 +1,9 @@ | ||
<!DOCTYPE html><html lang="en" class="font-[Vollkorn] [font-size:16px] bg-gray-900 text-gray-100"><head><title>Agda Now; Mobus Operandi</title><meta charset="utf-8"><meta name="description" content="Agda Now, Learning Agda, a dependently typed functional programming language; description, schedule and more on Mobus Operandi"><meta name="viewport" content="width=device-width, initial-scale=1.0"><link rel="stylesheet" href="/index.css?v=1730427938043"><style> | ||
<!DOCTYPE html><html lang="en" class="font-[Vollkorn] [font-size:16px] bg-gray-900 text-gray-100"><head><title>Agda Now; Mobus Operandi</title><meta charset="utf-8"><meta name="description" content="Agda Now, Learning Agda, a dependently typed functional programming language; description, schedule and more on Mobus Operandi"><meta name="viewport" content="width=device-width, initial-scale=1.0"><link rel="stylesheet" href="/index.css?v=1730430485780"><style> | ||
@font-face { | ||
font-family: 'Vollkorn'; | ||
src: url('/vollkorn.ttf') format('truetype'); | ||
}</style></head><body class="min-h-screen py-1 px-1 md:px-5 flex flex-col gap-1 max-w-screen-xl mx-auto"><div class="flex justify-between items-center flex-wrap gap-x-2 gap-y-1 uppercase text-lg"><div class="flex flex-col gap-x-2 whitespace-nowrap"><a href="/index.html" class="tracking-widest text-center">Mobus Operandi</a><p class="text-sm opacity-75">A mob programming community</p></div><div class="flex items-center gap-x-2"><a href="https://mobusoperandi.zulipchat.com/"><img width="32" alt="Zulip" src="/zulip_logo.svg"></a><a class="invert" href="https://github.com/mobusoperandi"><img width="32" alt="GitHub" src="/inverticat.svg"></a><a href="https://twitter.com/mobusoperandi"><img width="32" alt="Twitter" src="/twitter_logo.svg"></a></div></div><hr><div class="flex flex-col gap-6 grow"><div class="flex flex-col sm:flex-row sm:justify-around text-center tracking-wide"><div class="py-12"><h1 class="text-4xl">Agda Now</h1><p>Learning Agda, a dependently typed functional programming language</p></div><div class="py-12"><h2>Participants</h2><div class="font-bold"><a class="block" href="https://twitter.com/mightyiam">Shahar “Dawn” Or</a><a class="block" href="https://twitter.com/iulspop">Iuliu Pop</a></div></div></div><div class="flex flex-col items-center gap-1 text-lg"><div class="flex gap-4 uppercase tracking-widest"><s class="opacity-70">short</s><s class="opacity-70">open</s><s class="opacity-70">full</s><s class="opacity-70">public</s><span>terminated</span></div><p class="tracking-wide"> This mob has been terminated.</p></div><div class="grid grid-flow-row sm:grid-flow-col auto-cols-fr gap-[1.25em]"><div class="prose prose-invert max-w-full"><h2>We're learning Agda</h2> | ||
<p>Learning <a href="https://wiki.portal.chalmers.se/agda/pmwiki.php">Agda</a> since 2023-02-13.</p> | ||
<p>Currently going through <a href="https://plfa.github.io/">Programming Language Foundations in Agda</a>.</p> | ||
</div><div class="prose prose-invert max-w-full"></div></div><hr></div><hr><div class="flex justify-between flex-wrap items-end"><pre class="text-xs"><code>c33f2a91f825b6b3b4c61b600b84eaef1676261f | ||
</div><div class="prose prose-invert max-w-full"></div></div><hr></div><hr><div class="flex justify-between flex-wrap items-end"><pre class="text-xs"><code>aeb1e5eeb42b9310595d83d658139d3925846bfb | ||
</code></pre><a class="text-sm" href="https://github.com/mobusoperandi/website">Source</a></div></body></html> |
This file contains 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
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -1,8 +1,8 @@ | ||
<!DOCTYPE html><html lang="en" class="font-[Vollkorn] [font-size:16px] bg-gray-900 text-gray-100"><head><title>Bass; Mobus Operandi</title><meta charset="utf-8"><meta name="description" content="Bass, Yet another Mobus Operandi website mob; description, schedule and more on Mobus Operandi"><meta name="viewport" content="width=device-width, initial-scale=1.0"><link rel="stylesheet" href="/index.css?v=1730427938039"><style> | ||
<!DOCTYPE html><html lang="en" class="font-[Vollkorn] [font-size:16px] bg-gray-900 text-gray-100"><head><title>Bass; Mobus Operandi</title><meta charset="utf-8"><meta name="description" content="Bass, Yet another Mobus Operandi website mob; description, schedule and more on Mobus Operandi"><meta name="viewport" content="width=device-width, initial-scale=1.0"><link rel="stylesheet" href="/index.css?v=1730430485777"><style> | ||
@font-face { | ||
font-family: 'Vollkorn'; | ||
src: url('/vollkorn.ttf') format('truetype'); | ||
}</style></head><body class="min-h-screen py-1 px-1 md:px-5 flex flex-col gap-1 max-w-screen-xl mx-auto"><div class="flex justify-between items-center flex-wrap gap-x-2 gap-y-1 uppercase text-lg"><div class="flex flex-col gap-x-2 whitespace-nowrap"><a href="/index.html" class="tracking-widest text-center">Mobus Operandi</a><p class="text-sm opacity-75">A mob programming community</p></div><div class="flex items-center gap-x-2"><a href="https://mobusoperandi.zulipchat.com/"><img width="32" alt="Zulip" src="/zulip_logo.svg"></a><a class="invert" href="https://github.com/mobusoperandi"><img width="32" alt="GitHub" src="/inverticat.svg"></a><a href="https://twitter.com/mobusoperandi"><img width="32" alt="Twitter" src="/twitter_logo.svg"></a></div></div><hr><div class="flex flex-col gap-6 grow"><div class="flex flex-col sm:flex-row sm:justify-around text-center tracking-wide"><div class="py-12"><h1 class="text-4xl">Bass</h1><p>Yet another Mobus Operandi website mob</p></div><div class="py-12"><h2>Participants</h2><div class="font-bold"><a class="block" href="https://twitter.com/mightyiam">Shahar “Dawn” Or</a><a class="block" href="https://twitter.com/kellyrankin19">Kelly Rankin</a></div></div></div><div class="flex flex-col items-center gap-1 text-lg"><div class="flex gap-4 uppercase tracking-widest"><s class="opacity-70">short</s><s class="opacity-70">open</s><s class="opacity-70">full</s><s class="opacity-70">public</s><span>terminated</span></div><p class="tracking-wide"> This mob has been terminated.</p></div><div class="grid grid-flow-row sm:grid-flow-col auto-cols-fr gap-[1.25em]"><div class="prose prose-invert max-w-full"><h2>What we do</h2> | ||
<p>We are currently working on <a href="https://mobusoperandi.com">the Mobus Operandi website</a> which is <a href="https://github.com/mobusoperandi/website">statically generated using Rust</a>.</p> | ||
</div><div class="prose prose-invert max-w-full"></div></div><hr></div><hr><div class="flex justify-between flex-wrap items-end"><pre class="text-xs"><code>c33f2a91f825b6b3b4c61b600b84eaef1676261f | ||
</div><div class="prose prose-invert max-w-full"></div></div><hr></div><hr><div class="flex justify-between flex-wrap items-end"><pre class="text-xs"><code>aeb1e5eeb42b9310595d83d658139d3925846bfb | ||
</code></pre><a class="text-sm" href="https://github.com/mobusoperandi/website">Source</a></div></body></html> |
This file contains 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
This file contains 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
This file contains 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
This file contains 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
Oops, something went wrong.