From 04c43534b552f1d024b1b0866b893b1ec4e858f3 Mon Sep 17 00:00:00 2001
From: "Shahar \"Dawn\" Or" <mightyiampresence@gmail.com>
Date: Mon, 20 Nov 2023 14:56:16 +0700
Subject: [PATCH] rm agda now

---
 mobs/agda_now.yaml | 31 -------------------------------
 1 file changed, 31 deletions(-)
 delete mode 100644 mobs/agda_now.yaml

diff --git a/mobs/agda_now.yaml b/mobs/agda_now.yaml
deleted file mode 100644
index fd949e51..00000000
--- a/mobs/agda_now.yaml
+++ /dev/null
@@ -1,31 +0,0 @@
-title: Agda Now
-subtitle: Learning Agda, a dependently typed functional programming language
-participants:
-  - !Public
-    name: Shahar “Dawn” Or
-    social_url: https://twitter.com/mightyiam
-    avatar_url: https://avatars.githubusercontent.com/u/635591?v=4
-  - !Public
-    name: Iuliu Pop
-    social_url: https://twitter.com/iulspop
-    avatar_url: https://avatars.githubusercontent.com/u/53665722?v=4
-schedule:
-  - frequency: FREQ=WEEKLY;BYDAY=FR
-    timezone: UTC
-    start_date: 2023-07-14
-    start_time: 13:00
-    duration: 90
-background_color: salmon
-text_color: black
-freeform_copy: |
-  ## We're learning Agda
-
-  Learning [Agda](https://wiki.portal.chalmers.se/agda/pmwiki.php) since 2023-02-13.
-
-  Currently going through [Programming Language Foundations in Agda](https://plfa.github.io/).
-status: !Open |
-  ## Join us
-
-  If you're interested in Agda, consider applying to join us in our modest study.
-
-  For more details and application, see [this gist](https://gist.github.com/mightyiam/6618d6ae649dc26ef485a21ccfe1eb3e).