Deploying to gh-pages from @ 91f1575 🚀

mobusoperandi · Oct 28, 2023 · 6225f53 · 6225f53
1 parent 1d8489e
commit 6225f53
Show file tree

Hide file tree

Showing 8 changed files with 41 additions and 40 deletions.
diff --git a/add.html b/add.html
@@ -1,4 +1,4 @@
-<!DOCTYPE html><html lang="en" class="font-[Vollkorn] [font-size:16px] bg-gray-900 text-gray-100"><head><title>Add; Mobus Operandi</title><meta charset="utf-8"><meta name="description" content="How to add your mob to Mobus Operandi"><meta name="viewport" content="width=device-width, initial-scale=1.0"><link rel="stylesheet" href="/index.css?v=1698156539081"><style>
+<!DOCTYPE html><html lang="en" class="font-[Vollkorn] [font-size:16px] bg-gray-900 text-gray-100"><head><title>Add; Mobus Operandi</title><meta charset="utf-8"><meta name="description" content="How to add your mob to Mobus Operandi"><meta name="viewport" content="width=device-width, initial-scale=1.0"><link rel="stylesheet" href="/index.css?v=1698498270612"><style>
             @font-face {
                 font-family: 'Vollkorn';
                 src: url('/vollkorn.ttf') format('truetype');
@@ -112,5 +112,5 @@
 <pre><code class="language-yaml">!Public |
   [Room link](https://meet.jit.si/MedievalWebsPortrayLoud)
 </code></pre>
-</div></div></li></ol></div></div></li></ol></div><hr><div class="flex justify-between flex-wrap items-end"><pre class="text-xs"><code>03cff8f5a88b72eb4667e56bfa2b78be8599af73
+</div></div></li></ol></div></div></li></ol></div><hr><div class="flex justify-between flex-wrap items-end"><pre class="text-xs"><code>91f1575e884dd6d1d57f4c68fc99a9147df43a28
 </code></pre><a class="text-sm" href="https://github.com/mobusoperandi/website">Source</a></div></body></html>
diff --git a/index.html b/index.html
diff --git a/mobs/agda_now.html b/mobs/agda_now.html
@@ -1,12 +1,14 @@
-<!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=1698156539084"><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=1698498270614"><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><span>open</span><s class="opacity-70">full</s><s class="opacity-70">public</s></div><p class="tracking-wide"> This mob is taking applications for new participants.</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"><h2>Join us</h2>
-<p>To apply, please contact <a href="https://github.com/mightyiam">Dawn</a>.</p>
-</div></div><hr><div class="flex justify-between items-center flex-wrap gap-x-2"><div class="flex flex-wrap gap-x-[1ch] whitespace-nowrap flex-1"><p class="_32"></p><p class="_31"></p></div><div class="flex gap-x-2"><div class="block p-3 text-lg bg-gray-700 rounded no-underline uppercase flex items-center _33"><svg xmlns="http://www.w3.org/2000/svg" viewBox="0 0 32 32" class="w-[1em] fill-gray-100"><path d="M13,25.6c-0.5,0-1-0.2-1.4-0.6l-8.3-8.3c-0.4-0.4-0.4-1,0-1.4L11.6,7c0.6-0.6,1.4-0.7,2.2-0.4c0.8,0.3,1.2,1,1.2,1.8V12h12 c1.1,0,2,0.9,2,2v4c0,1.1-0.9,2-2,2H15v3.6c0,0.8-0.5,1.5-1.2,1.8C13.5,25.5,13.3,25.6,13,25.6z"></path></svg></div><div class="block p-3 text-lg bg-gray-700 rounded no-underline uppercase flex items-center _34"><svg xmlns="http://www.w3.org/2000/svg" viewBox="0 0 32 32" class="w-[1em] fill-gray-100 rotate-180"><path d="M13,25.6c-0.5,0-1-0.2-1.4-0.6l-8.3-8.3c-0.4-0.4-0.4-1,0-1.4L11.6,7c0.6-0.6,1.4-0.7,2.2-0.4c0.8,0.3,1.2,1,1.2,1.8V12h12 c1.1,0,2,0.9,2,2v4c0,1.1-0.9,2-2,2H15v3.6c0,0.8-0.5,1.5-1.2,1.8C13.5,25.5,13.3,25.6,13,25.6z"></path></svg></div><button class="block p-3 text-lg bg-gray-700 rounded no-underline uppercase flex items-center _35">Today</button></div></div><div class="_30 [--fc-page-bg-color:transparent]"></div><script defer src="/fullcalendar.js"></script><script defer src="/rrule.js"></script><script defer src="/fullcalendar_rrule.js"></script><script data-input="{&quot;events&quot;:[{&quot;backgroundColor&quot;:&quot;#fa8072&quot;,&quot;duration&quot;:&quot;01:30&quot;,&quot;eventContent&quot;:&quot;&lt;div class=\&quot;h-full break-words\&quot;&gt;13:00–14:30 UTC&lt;/div&gt;&quot;,&quot;rrule&quot;:&quot;DTSTART:20230714T130000Z\nFREQ=weekly;UNTIL=21220620T130000Z;BYHOUR=13;BYMINUTE=0;BYSECOND=0;BYDAY=FR&quot;,&quot;textColor&quot;:&quot;#000000&quot;}],&quot;selectors&quot;:{&quot;buttonNext&quot;:&quot;._34&quot;,&quot;buttonPrev&quot;:&quot;._33&quot;,&quot;buttonToday&quot;:&quot;._35&quot;,&quot;calendarContainer&quot;:&quot;._30&quot;,&quot;dateRange&quot;:&quot;._31&quot;,&quot;timezone&quot;:&quot;._32&quot;}}">
+<p>If you're interested in Agda, consider applying to join us in our modest study.</p>
+<p>For more details and application, see <a href="https://gist.github.com/mightyiam/6618d6ae649dc26ef485a21ccfe1eb3e">this gist</a>.</p>
+</div></div><hr><div class="flex justify-between items-center flex-wrap gap-x-2"><div class="flex flex-wrap gap-x-[1ch] whitespace-nowrap flex-1"><p class="_14"></p><p class="_13"></p></div><div class="flex gap-x-2"><div class="block p-3 text-lg bg-gray-700 rounded no-underline uppercase flex items-center _15"><svg xmlns="http://www.w3.org/2000/svg" viewBox="0 0 32 32" class="w-[1em] fill-gray-100"><path d="M13,25.6c-0.5,0-1-0.2-1.4-0.6l-8.3-8.3c-0.4-0.4-0.4-1,0-1.4L11.6,7c0.6-0.6,1.4-0.7,2.2-0.4c0.8,0.3,1.2,1,1.2,1.8V12h12 c1.1,0,2,0.9,2,2v4c0,1.1-0.9,2-2,2H15v3.6c0,0.8-0.5,1.5-1.2,1.8C13.5,25.5,13.3,25.6,13,25.6z"></path></svg></div><div class="block p-3 text-lg bg-gray-700 rounded no-underline uppercase flex items-center _16"><svg xmlns="http://www.w3.org/2000/svg" viewBox="0 0 32 32" class="w-[1em] fill-gray-100 rotate-180"><path d="M13,25.6c-0.5,0-1-0.2-1.4-0.6l-8.3-8.3c-0.4-0.4-0.4-1,0-1.4L11.6,7c0.6-0.6,1.4-0.7,2.2-0.4c0.8,0.3,1.2,1,1.2,1.8V12h12 c1.1,0,2,0.9,2,2v4c0,1.1-0.9,2-2,2H15v3.6c0,0.8-0.5,1.5-1.2,1.8C13.5,25.5,13.3,25.6,13,25.6z"></path></svg></div><button class="block p-3 text-lg bg-gray-700 rounded no-underline uppercase flex items-center _17">Today</button></div></div><div class="_12 [--fc-page-bg-color:transparent]"></div><script defer src="/fullcalendar.js"></script><script defer src="/rrule.js"></script><script defer src="/fullcalendar_rrule.js"></script><script data-input="{&quot;events&quot;:[{&quot;backgroundColor&quot;:&quot;#fa8072&quot;,&quot;duration&quot;:&quot;01:30&quot;,&quot;eventContent&quot;:&quot;&lt;div class=\&quot;h-full break-words\&quot;&gt;13:00–14:30 UTC&lt;/div&gt;&quot;,&quot;rrule&quot;:&quot;DTSTART:20230714T130000Z\nFREQ=weekly;UNTIL=21220620T130000Z;BYHOUR=13;BYMINUTE=0;BYSECOND=0;BYDAY=FR&quot;,&quot;textColor&quot;:&quot;#000000&quot;}],&quot;selectors&quot;:{&quot;buttonNext&quot;:&quot;._16&quot;,&quot;buttonPrev&quot;:&quot;._15&quot;,&quot;buttonToday&quot;:&quot;._17&quot;,&quot;calendarContainer&quot;:&quot;._12&quot;,&quot;dateRange&quot;:&quot;._13&quot;,&quot;timezone&quot;:&quot;._14&quot;}}">
                     const input = JSON.parse(document.querySelector('[data-input]').getAttribute('data-input'))
                     /* global FullCalendar */
 ; (function initCalendar({ events, displayEventTime, selectors }) {
@@ -76,5 +78,5 @@
 })
 
 (input)
-                </script></div><hr><div class="flex justify-between flex-wrap items-end"><pre class="text-xs"><code>03cff8f5a88b72eb4667e56bfa2b78be8599af73
+                </script></div><hr><div class="flex justify-between flex-wrap items-end"><pre class="text-xs"><code>91f1575e884dd6d1d57f4c68fc99a9147df43a28
 </code></pre><a class="text-sm" href="https://github.com/mobusoperandi/website">Source</a></div></body></html>
diff --git a/mobs/malaga.html b/mobs/malaga.html
@@ -1,4 +1,4 @@
-<!DOCTYPE html><html lang="en" class="font-[Vollkorn] [font-size:16px] bg-gray-900 text-gray-100"><head><title>#helloworld_rb; Mobus Operandi</title><meta charset="utf-8"><meta name="description" content="#helloworld_rb, The free to join global ruby mob. Help us go continuous.; 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=1698156539083"><style>
+<!DOCTYPE html><html lang="en" class="font-[Vollkorn] [font-size:16px] bg-gray-900 text-gray-100"><head><title>#helloworld_rb; Mobus Operandi</title><meta charset="utf-8"><meta name="description" content="#helloworld_rb, The free to join global ruby mob. Help us go continuous.; 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=1698498270616"><style>
             @font-face {
                 font-family: 'Vollkorn';
                 src: url('/vollkorn.ttf') format('truetype');
@@ -9,7 +9,7 @@
 Please contact <a href="https://twitter.com/alterisian">Ian</a> with any questions about mobs/ensembles/flocks.
 Simply add your twitter handle to: <a href="https://github.com/alterisian/helloworld/blob/main/helloworld.rb">helloworld.rb</a>
 See the discussion for when the next mob is on <a href="https://twitter.com/search?q=%23helloworld_rb&amp;src=typed_query&amp;f=live">#helloworld_rb</a></p>
-</div></div><hr><div class="flex justify-between items-center flex-wrap gap-x-2"><div class="flex flex-wrap gap-x-[1ch] whitespace-nowrap flex-1"><p class="_20"></p><p class="_19"></p></div><div class="flex gap-x-2"><div class="block p-3 text-lg bg-gray-700 rounded no-underline uppercase flex items-center _21"><svg xmlns="http://www.w3.org/2000/svg" viewBox="0 0 32 32" class="w-[1em] fill-gray-100"><path d="M13,25.6c-0.5,0-1-0.2-1.4-0.6l-8.3-8.3c-0.4-0.4-0.4-1,0-1.4L11.6,7c0.6-0.6,1.4-0.7,2.2-0.4c0.8,0.3,1.2,1,1.2,1.8V12h12 c1.1,0,2,0.9,2,2v4c0,1.1-0.9,2-2,2H15v3.6c0,0.8-0.5,1.5-1.2,1.8C13.5,25.5,13.3,25.6,13,25.6z"></path></svg></div><div class="block p-3 text-lg bg-gray-700 rounded no-underline uppercase flex items-center _22"><svg xmlns="http://www.w3.org/2000/svg" viewBox="0 0 32 32" class="w-[1em] fill-gray-100 rotate-180"><path d="M13,25.6c-0.5,0-1-0.2-1.4-0.6l-8.3-8.3c-0.4-0.4-0.4-1,0-1.4L11.6,7c0.6-0.6,1.4-0.7,2.2-0.4c0.8,0.3,1.2,1,1.2,1.8V12h12 c1.1,0,2,0.9,2,2v4c0,1.1-0.9,2-2,2H15v3.6c0,0.8-0.5,1.5-1.2,1.8C13.5,25.5,13.3,25.6,13,25.6z"></path></svg></div><button class="block p-3 text-lg bg-gray-700 rounded no-underline uppercase flex items-center _23">Today</button></div></div><div class="_18 [--fc-page-bg-color:transparent]"></div><script defer src="/fullcalendar.js"></script><script defer src="/rrule.js"></script><script defer src="/fullcalendar_rrule.js"></script><script data-input="{&quot;events&quot;:[{&quot;backgroundColor&quot;:&quot;#cd853f&quot;,&quot;duration&quot;:&quot;02:00&quot;,&quot;eventContent&quot;:&quot;&lt;div class=\&quot;h-full break-words\&quot;&gt;17:00–19:00 UTC&lt;/div&gt;&quot;,&quot;rrule&quot;:&quot;DTSTART:20221101T170000Z\nFREQ=weekly;UNTIL=21211008T170000Z;BYHOUR=17;BYMINUTE=0;BYSECOND=0;BYDAY=MO&quot;,&quot;textColor&quot;:&quot;#fff5ee&quot;}],&quot;selectors&quot;:{&quot;buttonNext&quot;:&quot;._22&quot;,&quot;buttonPrev&quot;:&quot;._21&quot;,&quot;buttonToday&quot;:&quot;._23&quot;,&quot;calendarContainer&quot;:&quot;._18&quot;,&quot;dateRange&quot;:&quot;._19&quot;,&quot;timezone&quot;:&quot;._20&quot;}}">
+</div></div><hr><div class="flex justify-between items-center flex-wrap gap-x-2"><div class="flex flex-wrap gap-x-[1ch] whitespace-nowrap flex-1"><p class="_32"></p><p class="_31"></p></div><div class="flex gap-x-2"><div class="block p-3 text-lg bg-gray-700 rounded no-underline uppercase flex items-center _33"><svg xmlns="http://www.w3.org/2000/svg" viewBox="0 0 32 32" class="w-[1em] fill-gray-100"><path d="M13,25.6c-0.5,0-1-0.2-1.4-0.6l-8.3-8.3c-0.4-0.4-0.4-1,0-1.4L11.6,7c0.6-0.6,1.4-0.7,2.2-0.4c0.8,0.3,1.2,1,1.2,1.8V12h12 c1.1,0,2,0.9,2,2v4c0,1.1-0.9,2-2,2H15v3.6c0,0.8-0.5,1.5-1.2,1.8C13.5,25.5,13.3,25.6,13,25.6z"></path></svg></div><div class="block p-3 text-lg bg-gray-700 rounded no-underline uppercase flex items-center _34"><svg xmlns="http://www.w3.org/2000/svg" viewBox="0 0 32 32" class="w-[1em] fill-gray-100 rotate-180"><path d="M13,25.6c-0.5,0-1-0.2-1.4-0.6l-8.3-8.3c-0.4-0.4-0.4-1,0-1.4L11.6,7c0.6-0.6,1.4-0.7,2.2-0.4c0.8,0.3,1.2,1,1.2,1.8V12h12 c1.1,0,2,0.9,2,2v4c0,1.1-0.9,2-2,2H15v3.6c0,0.8-0.5,1.5-1.2,1.8C13.5,25.5,13.3,25.6,13,25.6z"></path></svg></div><button class="block p-3 text-lg bg-gray-700 rounded no-underline uppercase flex items-center _35">Today</button></div></div><div class="_30 [--fc-page-bg-color:transparent]"></div><script defer src="/fullcalendar.js"></script><script defer src="/rrule.js"></script><script defer src="/fullcalendar_rrule.js"></script><script data-input="{&quot;events&quot;:[{&quot;backgroundColor&quot;:&quot;#cd853f&quot;,&quot;duration&quot;:&quot;02:00&quot;,&quot;eventContent&quot;:&quot;&lt;div class=\&quot;h-full break-words\&quot;&gt;17:00–19:00 UTC&lt;/div&gt;&quot;,&quot;rrule&quot;:&quot;DTSTART:20221101T170000Z\nFREQ=weekly;UNTIL=21211008T170000Z;BYHOUR=17;BYMINUTE=0;BYSECOND=0;BYDAY=MO&quot;,&quot;textColor&quot;:&quot;#fff5ee&quot;}],&quot;selectors&quot;:{&quot;buttonNext&quot;:&quot;._34&quot;,&quot;buttonPrev&quot;:&quot;._33&quot;,&quot;buttonToday&quot;:&quot;._35&quot;,&quot;calendarContainer&quot;:&quot;._30&quot;,&quot;dateRange&quot;:&quot;._31&quot;,&quot;timezone&quot;:&quot;._32&quot;}}">
                     const input = JSON.parse(document.querySelector('[data-input]').getAttribute('data-input'))
                     /* global FullCalendar */
 ; (function initCalendar({ events, displayEventTime, selectors }) {
@@ -79,5 +79,5 @@
 })
 
 (input)
-                </script></div><hr><div class="flex justify-between flex-wrap items-end"><pre class="text-xs"><code>03cff8f5a88b72eb4667e56bfa2b78be8599af73
+                </script></div><hr><div class="flex justify-between flex-wrap items-end"><pre class="text-xs"><code>91f1575e884dd6d1d57f4c68fc99a9147df43a28
 </code></pre><a class="text-sm" href="https://github.com/mobusoperandi/website">Source</a></div></body></html>