Newest at the top
| 2025-02-24 14:59:22 +0100 | <leah2> | and implementors |
| 2025-02-24 14:59:14 +0100 | <ncf> | looks more geared towards programmers |
| 2025-02-24 14:57:05 +0100 | zungi | (~tory@user/andrewchawk) andrewchawk |
| 2025-02-24 14:55:52 +0100 | ash3en | (~Thunderbi@89.246.174.164) (Ping timeout: 244 seconds) |
| 2025-02-24 14:53:26 +0100 | <__monty__> | Isn't TAPL *the* introduction to type theory? |
| 2025-02-24 14:52:53 +0100 | nwoob | (~nikhilkau@user/nwoob) (Ping timeout: 245 seconds) |
| 2025-02-24 14:49:52 +0100 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-02-24 14:46:52 +0100 | pabs3 | (~pabs3@user/pabs3) pabs3 |
| 2025-02-24 14:45:50 +0100 | pabs3 | (~pabs3@user/pabs3) (Remote host closed the connection) |
| 2025-02-24 14:43:28 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 244 seconds) |
| 2025-02-24 14:40:08 +0100 | ash3en | (~Thunderbi@89.246.174.164) ash3en |
| 2025-02-24 14:39:12 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-24 14:28:25 +0100 | <lambdabot> | Consider it noted. |
| 2025-02-24 14:28:25 +0100 | <ncf> | @tell euouae relevant discussion thread: https://mathstodon.xyz/@jadkoleilat/113553981368332306 |
| 2025-02-24 14:17:01 +0100 | <spew> | ncf: those notes look really good, thank you for sharing |
| 2025-02-24 14:14:10 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 2025-02-24 14:13:17 +0100 | Googulator | (~Googulato@2a01:36d:106:c81:ad7c:ac56:196b:c9a2) |
| 2025-02-24 14:09:15 +0100 | ash3en | (~Thunderbi@89.246.174.164) (Ping timeout: 276 seconds) |
| 2025-02-24 14:06:20 +0100 | CiaoSen | (~Jura@2a02:8071:64e1:7180:4e50:ddff:fe9b:8922) CiaoSen |
| 2025-02-24 14:04:52 +0100 | Square2 | (~Square4@user/square) Square |
| 2025-02-24 14:04:33 +0100 | ash3en | (~Thunderbi@89.246.174.164) ash3en |
| 2025-02-24 14:01:15 +0100 | euleritian | (~euleritia@dynamic-176-006-132-056.176.6.pool.telefonica.de) |
| 2025-02-24 14:00:57 +0100 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds) |
| 2025-02-24 13:59:59 +0100 | acidjnk | (~acidjnk@p200300d6e7283f50c93f98c64cfbe971.dip0.t-ipconnect.de) acidjnk |
| 2025-02-24 13:57:29 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 244 seconds) |
| 2025-02-24 13:56:53 +0100 | tv | (~tv@user/tv) tv |
| 2025-02-24 13:56:28 +0100 | tv | (~tv@user/tv) (Quit: derp) |
| 2025-02-24 13:54:00 +0100 | fp | (~Thunderbi@wireless-86-50-141-43.open.aalto.fi) (Ping timeout: 252 seconds) |
| 2025-02-24 13:53:08 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-24 13:51:07 +0100 | alexherbo2 | (~alexherbo@2a02-8440-3503-a0c2-8daf-d920-c5db-5fe6.rev.sfr.net) alexherbo2 |
| 2025-02-24 13:44:20 +0100 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-02-24 13:43:51 +0100 | cheater_ | cheater |
| 2025-02-24 13:43:45 +0100 | cheater | (~Username@user/cheater) (Ping timeout: 244 seconds) |
| 2025-02-24 13:43:24 +0100 | tnt1 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-02-24 13:41:36 +0100 | cheater_ | (~Username@user/cheater) cheater |
| 2025-02-24 13:39:13 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 248 seconds) |
| 2025-02-24 13:37:52 +0100 | malte | (~malte@mal.tc) (Remote host closed the connection) |
| 2025-02-24 13:23:08 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-02-24 13:19:28 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 244 seconds) |
| 2025-02-24 13:19:09 +0100 | jespada | (~jespada@2800:a4:2212:a600:106d:176f:4211:570f) jespada |
| 2025-02-24 13:18:49 +0100 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-02-24 13:16:50 +0100 | sroso | (~sroso@user/SrOso) (Quit: Leaving :)) |
| 2025-02-24 13:11:33 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 268 seconds) |
| 2025-02-24 13:09:49 +0100 | Smiles | (uid551636@id-551636.lymington.irccloud.com) Smiles |
| 2025-02-24 13:07:09 +0100 | ethantwardy | (user@user/ethantwardy) ethantwardy |
| 2025-02-24 13:07:03 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-24 13:04:18 +0100 | ash3en | (~Thunderbi@89.246.174.164) (Client Quit) |
| 2025-02-24 13:04:14 +0100 | ash3en | (~Thunderbi@89.246.174.164) ash3en |
| 2025-02-24 13:01:02 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 2025-02-24 12:57:45 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 276 seconds) |