diff --git a/add.html b/add.html index 42972e85..f213fa65 100644 --- a/add.html +++ b/add.html @@ -1,4 +1,4 @@ -Add; Mobus Operandi
Mobus Operandi

A mob programming community

ZulipGitHubTwitter

Agda Now

Learning Agda, a dependently typed functional programming language

shortopenfullpublicterminated

This mob has been terminated.

We're learning Agda

Learning Agda since 2023-02-13.

Currently going through Programming Language Foundations in Agda.

-


c33f2a91f825b6b3b4c61b600b84eaef1676261f
+


aeb1e5eeb42b9310595d83d658139d3925846bfb
 
Source
\ No newline at end of file diff --git a/mobs/bass.html b/mobs/bass.html index e12e3a08..01b3560a 100644 --- a/mobs/bass.html +++ b/mobs/bass.html @@ -1,8 +1,8 @@ -Bass; Mobus Operandi
Mobus Operandi

A mob programming community

ZulipGitHubTwitter

Bass

Yet another Mobus Operandi website mob

shortopenfullpublicterminated

This mob has been terminated.

What we do

We are currently working on the Mobus Operandi website which is statically generated using Rust.

-


c33f2a91f825b6b3b4c61b600b84eaef1676261f
+


aeb1e5eeb42b9310595d83d658139d3925846bfb
 
Source
\ No newline at end of file diff --git a/mobs/love.html b/mobs/love.html index fc7554cc..95524024 100644 --- a/mobs/love.html +++ b/mobs/love.html @@ -1,4 +1,4 @@ -Mob Love; Mobus Operandi
Mobus Operandi

A mob programming community

ZulipGitHubTwitter

Redirecting to/mobs/love.html...


c33f2a91f825b6b3b4c61b600b84eaef1676261f
+            }
Mobus Operandi

A mob programming community

ZulipGitHubTwitter

Redirecting to/mobs/love.html...


aeb1e5eeb42b9310595d83d658139d3925846bfb
 
Source
\ No newline at end of file