24 Aug 2021 |
| Hrafn Blóðbók joined the room. | 08:03:13 |
Hrafn Blóðbók | Hi, I was looking for an Agda room and found this. The name and topic suggests that it's a smaller community (club) not asserting itself as an unofficial place for general Agda discussions, though the room alias and chat history suggests it's not opposed to being one?
Would you mind being added as the current Agda room to #programming-languages:matrix.org ?
| 08:11:58 |
30 Aug 2021 |
| plumenator set a profile picture. | 07:17:54 |
31 Aug 2021 |
Hrafn Blóðbók | I took the liberty of creating an unofficial space where I added this room without presuming anything about whether this is a general discussions room or not (it is simply the only Agda-dedicated room there is): #agda-space:matrix.org | 07:50:26 |
5 Sep 2021 |
| Hrafn Blóðbók changed their profile picture. | 06:48:58 |
29 Sep 2021 |
| saolof joined the room. | 17:39:51 |
saolof | I'm also having some issues with installing agda. Hello world examples work, but it doesn't seem to have the Nat library installed | 17:40:54 |
30 Sep 2021 |
Hrafn Blóðbók | I personally use Nix, which makes it quite easy to use libraries that have been packaged. I assume you read the install docs? | 06:23:02 |
Hrafn Blóðbók | There's this section for using libraries | 06:25:28 |
saolof | I installed the Haskell platformed and installed it with Cabal | 15:43:19 |
saolof | * Iinstalled it with Cabal with the Haskell platform | 15:43:33 |
saolof | * I installed it with Cabal, from the Haskell platform. | 15:54:25 |
13 Oct 2021 |
| Sr. Bonobo changed their display name from Jorge Blázquez Saborido to Jorge Saborido. | 12:43:18 |
14 Oct 2021 |
| Julius Marozas joined the room. | 23:34:34 |
16 Oct 2021 |
| Sr. Bonobo changed their display name from Jorge Saborido to Sr. Bonobo. | 09:21:34 |
| Sr. Bonobo changed their profile picture. | 09:21:55 |
2 Nov 2021 |
| Hrafn Blóðbók changed their profile picture. | 06:13:38 |
14 Nov 2021 |
| Franco joined the room. | 09:41:30 |
1 Dec 2021 |
| Hey joined the room. | 10:17:55 |
12 Dec 2021 |
| @ivwumupy:matrix.org joined the room. | 00:54:08 |
28 Dec 2021 |
| caryoscelus joined the room. | 21:09:42 |
30 Jan 2022 |
caryoscelus | do we have bridges with irc? last time i checked it seemed there was a lot activity out there, but nothing seems to go on here | 15:08:52 |
Hrafn Blóðbók | Not sure but I think most of discussions happen over at their zulip | 19:42:37 |
caryoscelus | oh, another new communication platform.. | 21:36:38 |
Hrafn Blóðbók | At least it's open source | 22:20:43 |
Hrafn Blóðbók | ¯\_(ツ)_/¯ | 22:20:50 |
31 Jan 2022 |
caryoscelus | yeah, sure.. it's ok, i guess, i'll try using zulip if it's where community is | 14:24:06 |
caryoscelus | * yeah, sure.. it's ok, i guess, i'll try using zulip if it's where community is ^^ | 14:24:19 |
4 Feb 2022 |
| @ivwumupy:matrix.org joined the room. | 03:15:37 |
6 Feb 2022 |
| @ivwumupy:matrix.org joined the room. | 09:47:32 |