Newest at the top
| 2025-01-14 16:38:14 +0100 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-01-14 16:36:26 +0100 | turlando | (~turlando@user/turlando) turlando |
| 2025-01-14 16:35:58 +0100 | alexherbo2 | (~alexherbo@2a02-8440-e501-2041-d1c5-ba5b-2b42-3c3f.rev.sfr.net) (Remote host closed the connection) |
| 2025-01-14 16:35:10 +0100 | turlando | (~turlando@user/turlando) (Quit: No Ping reply in 180 seconds.) |
| 2025-01-14 16:34:24 +0100 | <haskellbridge> | <Morj> Coq can extract programs to multiple languages, including ocaml and haskell. Coq itself is writte in ocaml |
| 2025-01-14 16:34:14 +0100 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2025-01-14 16:31:25 +0100 | ft | (~ft@p4fc2a354.dip0.t-ipconnect.de) ft |
| 2025-01-14 16:31:21 +0100 | <kuribas> | coq compiles to ocaml, doesn't it? |
| 2025-01-14 16:27:43 +0100 | <kuribas> | Maybe I should find a job in France... |
| 2025-01-14 16:27:36 +0100 | <kuribas> | haskellbridge: They were secretly using coq instead? |
| 2025-01-14 16:25:36 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-01-14 16:23:20 +0100 | chexum | (~quassel@gateway/tor-sasl/chexum) chexum |
| 2025-01-14 16:22:00 +0100 | chexum | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2025-01-14 16:20:11 +0100 | remedan | (~remedan@ip-62-245-108-153.bb.vodafone.cz) remedan |
| 2025-01-14 16:18:23 +0100 | <hellwolf> | It doesn't seem to have been actioned! |
| 2025-01-14 16:17:57 +0100 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2025-01-14 16:17:41 +0100 | remedan | (~remedan@ip-62-245-108-153.bb.vodafone.cz) (Quit: Bye!) |
| 2025-01-14 16:17:26 +0100 | <hellwolf> | https://coq.discourse.group/t/coq-community-survey-2022-results-part-iv-and-itp-paper-announcement… |
| 2025-01-14 16:15:33 +0100 | <[exa]> | oh I see: The Coq team has decided that Coq will be renamed into 'The Rocq Prover'. |
| 2025-01-14 16:15:33 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 265 seconds) |
| 2025-01-14 16:14:33 +0100 | <haskellbridge> | <Morj> > Coq got renamedThe website is still coq.inria.fr |
| 2025-01-14 16:13:54 +0100 | <[exa]> | ayay. |
| 2025-01-14 16:13:54 +0100 | <[exa]> | *bIgger |
| 2025-01-14 16:13:54 +0100 | <[exa]> | __monty__: there are any bugger haskell user groups in benelux? are there any links/sites? (I failed googling that) |
| 2025-01-14 16:13:54 +0100 | xdminsy | (~xdminsy@117.147.71.200) (Ping timeout: 272 seconds) |
| 2025-01-14 16:12:32 +0100 | <[exa]> | I read some memes that Coq got renamed, is that true? (didn't really check) |
| 2025-01-14 16:11:56 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.4.2) |
| 2025-01-14 16:11:54 +0100 | <haskellbridge> | <Morj> I was looking for ocaml positions in France recently, and they were all secretly for coq |
| 2025-01-14 16:11:24 +0100 | <hellwolf> | (not from belgium, sorry, just ranting) |
| 2025-01-14 16:11:19 +0100 | _d0t | (~{-d0t-}@user/-d0t-/x-7915216) {-d0t-} |
| 2025-01-14 16:11:14 +0100 | <hellwolf> | do people count rust as FP? Unironically, FPCompete completes itself with rust |
| 2025-01-14 16:11:11 +0100 | <haskellbridge> | <Morj> Coq/rocq? But I'm saying this because of proximity to france |
| 2025-01-14 16:10:28 +0100 | ystael | (~ystael@user/ystael) ystael |
| 2025-01-14 16:09:25 +0100 | ystael | (~ystael@user/ystael) (Read error: Connection reset by peer) |
| 2025-01-14 16:09:25 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-01-14 16:09:25 +0100 | _d0t | (~{-d0t-}@user/-d0t-/x-7915216) (Ping timeout: 265 seconds) |
| 2025-01-14 16:08:46 +0100 | <kuribas> | I suppose scala is a bit more popular. |
| 2025-01-14 16:08:16 +0100 | remedan | (~remedan@ip-62-245-108-153.bb.vodafone.cz) remedan |
| 2025-01-14 16:08:13 +0100 | <kuribas> | Ocaml, F#, scala, ... |
| 2025-01-14 16:08:02 +0100 | <kuribas> | Are there other FP languages that are popular in Belgium? |
| 2025-01-14 16:07:17 +0100 | euleritian | (~euleritia@dynamic-176-006-133-187.176.6.pool.telefonica.de) |
| 2025-01-14 16:06:40 +0100 | remedan | (~remedan@ip-62-245-108-153.bb.vodafone.cz) (Quit: Bye!) |
| 2025-01-14 16:06:13 +0100 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) (Ping timeout: 245 seconds) |
| 2025-01-14 15:59:27 +0100 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) |
| 2025-01-14 15:57:49 +0100 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) (Ping timeout: 265 seconds) |
| 2025-01-14 15:56:13 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 248 seconds) |
| 2025-01-14 15:54:40 +0100 | <kuribas> | I am not charmed yet, but maybe I should be... |
| 2025-01-14 15:50:55 +0100 | dmwit | (~dmwit@pool-173-66-76-243.washdc.fios.verizon.net) dmwit |
| 2025-01-14 15:49:16 +0100 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-01-14 15:44:04 +0100 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |