| 22 Jun 2022 |
|  better_sleeping joined the room. | 17:55:22 |
| better_sleeping left the room. | 17:55:35 |
| 24 Jun 2022 |
|  Hrafn Blóðbók changed their display name from Hrafn Blóðbók 🎃 to Hrafn Blóðbók. | 09:10:48 |
| 19 Aug 2022 |
|  stevebtc17 joined the room. | 00:01:31 |
| 22 Aug 2022 |
| stevebtc17 left the room. | 14:45:46 |
| 23 Aug 2022 |
 jgart | hi, what is a semigroup? | 17:48:08 |
| 30 Aug 2022 |
| Hrafn Blóðbók | In reply to @jgarte:matrix.org
hi, what is a semigroup? This is probably not relevant anymore but just in case you're still wondering: it is a collection of elements together with an associative binary operation defined over them | 06:32:04 |
| Hrafn Blóðbók | 
Download clipboard.png | 06:32:08 |
| Hrafn Blóðbók | https://en.wikipedia.org/wiki/Semigroup | 06:32:19 |
| 24 Sep 2022 |
|  Varik Valefor joined the room. | 04:42:51 |
| 1 Oct 2022 |
|  Dan Marsden changed their display name from stringdiagram to Dan Marsden. | 08:20:41 |
| 13 Oct 2022 |
|  Julius Marozas changed their display name from jul1u5 to Julius Marozas. | 07:03:33 |
| Julius Marozas set a profile picture. | 07:04:22 |
| Julius Marozas changed their profile picture. | 07:04:52 |
| 27 Oct 2022 |
|  Ξ joined the room. | 04:40:31 |
| Ξ changed their display name from Ξthzerox to Ξ. | 05:13:23 |
| Varik Valefor changed their profile picture. | 06:53:43 |
| Varik Valefor changed their profile picture. | 06:56:38 |
| 29 Oct 2022 |
|  Samuel Chase joined the room. | 05:09:29 |
| 6 Nov 2022 |
| Varik Valefor changed their profile picture. | 00:44:06 |
| 13 Jan 2023 |
| Julius Marozas changed their display name from Julius Marozas to Julius Marozas (Old). | 20:02:08 |
| 9 Feb 2023 |
| Julius Marozas changed their display name from Julius Marozas (Old) to Julius Marozas. | 00:01:34 |
| 16 Feb 2023 |
|  patched joined the room. | 17:15:12 |
| patched | Ayoo
Does anybody use agda together with org-roam in emacs? I was considering the feasibility of using agda in notes that prove theorems. | 17:17:13 |
| patched | * Ayoo
Does anybody use agda together with org-roam in emacs? I was considering the feasibility of using agda in notes for proving theorems. | 17:17:34 |
| 13 Mar 2023 |
| jgart | In reply to @erkp:matrix.org
Ayoo
Does anybody use agda together with org-roam in emacs? I was considering the feasibility of using agda in notes for proving theorems. that would be cool | 04:26:04 |
| 29 Mar 2023 |
|  Tim joined the room. | 13:04:00 |
| 11 Apr 2023 |
|  williams45 joined the room. | 03:59:41 |
| williams45 left the room. | 06:15:21 |
|  tony6 joined the room. | 06:55:36 |
