Logs: freenode/#haskell
| 2021-04-10 15:18:03 | → | __minoru__shirae joins (~shiraeesh@46.34.206.174) |
| 2021-04-10 15:18:22 | → | ulfryk joins (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6) |
| 2021-04-10 15:19:07 | → | mananamenos joins (~mananamen@62.red-88-11-67.dynamicip.rima-tde.net) |
| 2021-04-10 15:22:37 | × | ulfryk quits (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6) (Ping timeout: 250 seconds) |
| 2021-04-10 15:23:23 | × | jophish__ quits (ca536851@202.83.104.81) (Ping timeout: 240 seconds) |
| 2021-04-10 15:24:06 | → | ulfryk joins (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6) |
| 2021-04-10 15:24:10 | → | geowiesnot joins (~user@87-89-181-157.abo.bbox.fr) |
| 2021-04-10 15:25:43 | × | royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed) |
| 2021-04-10 15:26:11 | × | snowflake quits (~snowflake@gateway/tor-sasl/snowflake) (Remote host closed the connection) |
| 2021-04-10 15:26:56 | → | snowflake joins (~snowflake@gateway/tor-sasl/snowflake) |
| 2021-04-10 15:28:49 | × | connrs quits (~connrs@mail.connolley.uk) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2021-04-10 15:28:59 | × | ulfryk quits (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6) (Ping timeout: 260 seconds) |
| 2021-04-10 15:29:51 | → | connrs joins (~connrs@mail.connolley.uk) |
| 2021-04-10 15:29:54 | × | connrs quits (~connrs@mail.connolley.uk) (Client Quit) |
| 2021-04-10 15:30:58 | → | connrs joins (~connrs@mail.connolley.uk) |
| 2021-04-10 15:32:12 | × | connrs quits (~connrs@mail.connolley.uk) (Client Quit) |
| 2021-04-10 15:33:12 | → | connrs joins (~connrs@mail.connolley.uk) |
| 2021-04-10 15:34:46 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-04-10 15:35:28 | × | connrs quits (~connrs@mail.connolley.uk) (Client Quit) |
| 2021-04-10 15:37:17 | → | connrs joins (~connrs@mail.connolley.uk) |
| 2021-04-10 15:37:34 | → | danvet joins (~Daniel@2a02:168:57f4:0:efd0:b9e5:5ae6:c2fa) |
| 2021-04-10 15:41:11 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
| 2021-04-10 15:41:46 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 252 seconds) |
| 2021-04-10 15:42:15 | → | DavidEichmann joins (~david@47.27.93.209.dyn.plus.net) |
| 2021-04-10 15:43:41 | → | m3 joins (~m@nuda.space) |
| 2021-04-10 15:43:41 | m3 | is now known as epta |
| 2021-04-10 15:45:58 | → | mouseghost joins (~draco@87-206-9-185.dynamic.chello.pl) |
| 2021-04-10 15:45:59 | × | mouseghost quits (~draco@87-206-9-185.dynamic.chello.pl) (Changing host) |
| 2021-04-10 15:45:59 | → | mouseghost joins (~draco@wikipedia/desperek) |
| 2021-04-10 15:49:57 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2021-04-10 15:51:55 | → | viluon joins (uid453725@gateway/web/irccloud.com/x-emtqdjwrdkrvrqyi) |
| 2021-04-10 15:55:38 | → | son0p joins (~ff@181.136.122.143) |
| 2021-04-10 15:56:25 | × | haskellstudent quits (~quassel@213-225-6-101.nat.highway.a1.net) (Ping timeout: 268 seconds) |
| 2021-04-10 15:56:43 | → | dpl joins (~dpl@77-121-78-163.chn.volia.net) |
| 2021-04-10 15:59:28 | → | notzmv joins (~zmv@unaffiliated/zmv) |
| 2021-04-10 15:59:59 | × | Tario quits (~Tario@201.192.165.173) (Read error: Connection reset by peer) |
| 2021-04-10 16:00:33 | → | Tario joins (~Tario@201.192.165.173) |
| 2021-04-10 16:09:57 | → | elfets joins (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) |
| 2021-04-10 16:09:57 | × | Tario quits (~Tario@201.192.165.173) (Read error: Connection reset by peer) |
| 2021-04-10 16:10:27 | → | Tario joins (~Tario@201.192.165.173) |
| 2021-04-10 16:14:33 | → | Gurkenglas joins (~Gurkengla@unaffiliated/gurkenglas) |
| 2021-04-10 16:15:01 | → | frozenErebus joins (~frozenEre@37.231.244.249) |
| 2021-04-10 16:17:16 | <Uniaika> | maerwald: thanks |
| 2021-04-10 16:17:29 | → | cole-h joins (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) |
| 2021-04-10 16:18:06 | × | mananamenos quits (~mananamen@62.red-88-11-67.dynamicip.rima-tde.net) (Ping timeout: 240 seconds) |
| 2021-04-10 16:21:25 | × | snowflake quits (~snowflake@gateway/tor-sasl/snowflake) (Remote host closed the connection) |
| 2021-04-10 16:22:19 | → | snowflake joins (~snowflake@gateway/tor-sasl/snowflake) |
| 2021-04-10 16:22:29 | × | nbloomf quits (~nbloomf@2600:1700:ad14:3020:b986:6003:7716:85d4) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-04-10 16:22:51 | → | Sgeo joins (~Sgeo@ool-18b98aa4.dyn.optonline.net) |
| 2021-04-10 16:29:00 | → | fiedlr joins (~fiedlr@83.148.33.254) |
| 2021-04-10 16:34:34 | × | fiedlr quits (~fiedlr@83.148.33.254) (Ping timeout: 252 seconds) |
| 2021-04-10 16:37:13 | → | alx741 joins (~alx741@181.196.69.222) |
| 2021-04-10 16:38:58 | × | gproto23 quits (~gproto23@unaffiliated/gproto23) (Quit: Leaving) |
| 2021-04-10 16:39:36 | → | todda7 joins (~torstein@athedsl-09242.home.otenet.gr) |
| 2021-04-10 16:39:42 | → | usr25 joins (~usr25@unaffiliated/usr25) |
| 2021-04-10 16:39:47 | → | bitmapper joins (uid464869@gateway/web/irccloud.com/x-olzovrbijxmtrnfe) |
| 2021-04-10 16:40:11 | × | geowiesnot quits (~user@87-89-181-157.abo.bbox.fr) (Ping timeout: 240 seconds) |
| 2021-04-10 16:40:18 | → | gavin joins (~gavin@98.154.147.147.dyn.plus.net) |
| 2021-04-10 16:46:05 | → | tzh joins (~tzh@c-24-21-73-154.hsd1.or.comcast.net) |
| 2021-04-10 16:46:14 | × | eacameron quits (uid256985@gateway/web/irccloud.com/x-ipirxiincahhhbhu) (Quit: Connection closed for inactivity) |
| 2021-04-10 16:46:27 | → | Pickchea joins (~private@unaffiliated/pickchea) |
| 2021-04-10 16:46:54 | bonz060_ | is now known as bonz060 |
| 2021-04-10 16:48:06 | × | ClaudiusMaximus quits (~claude@unaffiliated/claudiusmaximus) (Quit: ->) |
| 2021-04-10 16:51:36 | → | fendor_ joins (~fendor@178.165.131.171.wireless.dyn.drei.com) |
| 2021-04-10 16:52:10 | × | kaction quits (~kaction@ppsr.interfacefinancial.com) (Ping timeout: 252 seconds) |
| 2021-04-10 16:54:22 | × | fendor quits (~fendor@77.119.130.145.wireless.dyn.drei.com) (Ping timeout: 252 seconds) |
| 2021-04-10 16:59:51 | → | sedeki joins (~textual@unaffiliated/sedeki) |
| 2021-04-10 17:00:47 | × | todda7 quits (~torstein@athedsl-09242.home.otenet.gr) (Ping timeout: 246 seconds) |
| 2021-04-10 17:01:58 | × | LKoen quits (~LKoen@65.250.88.92.rev.sfr.net) (Quit: “It’s only logical. First you learn to talk, then you learn to think. Too bad it’s not the other way round.”) |
| 2021-04-10 17:07:56 | → | todda7 joins (~torstein@athedsl-09242.home.otenet.gr) |
| 2021-04-10 17:11:43 | × | coot quits (~coot@37.30.50.130.nat.umts.dynamic.t-mobile.pl) (Quit: coot) |
| 2021-04-10 17:13:05 | × | leothrix quits (~leothrix@elastic/staff/leothrix) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2021-04-10 17:13:38 | → | leothrix joins (~leothrix@elastic/staff/leothrix) |
| 2021-04-10 17:14:03 | → | mach1speed joins (~textual@S0106f0b4d2c39cee.va.shawcable.net) |
| 2021-04-10 17:14:22 | → | Alleria joins (~textual@static-108-21-236-27.nycmny.fios.verizon.net) |
| 2021-04-10 17:14:46 | Alleria | is now known as Guest74264 |
| 2021-04-10 17:16:20 | × | usr25 quits (~usr25@unaffiliated/usr25) (Quit: Leaving) |
| 2021-04-10 17:18:07 | <hololeap> | can anyone recommend a good beginner's resource for learning type theory? |
| 2021-04-10 17:19:07 | × | Guest74264 quits (~textual@static-108-21-236-27.nycmny.fios.verizon.net) (Ping timeout: 252 seconds) |
| 2021-04-10 17:20:14 | → | sayola joins (~vekto@dslb-002-201-085-157.002.201.pools.vodafone-ip.de) |
| 2021-04-10 17:20:39 | <opqdonut> | I enjoyed TaPL, but I guess it might be a bit old-fashioned now |
| 2021-04-10 17:20:48 | <opqdonut> | https://www.cis.upenn.edu/~bcpierce/tapl/ |
| 2021-04-10 17:21:08 | × | sedeki quits (~textual@unaffiliated/sedeki) (Quit: Textual IRC Client: www.textualapp.com) |
| 2021-04-10 17:21:26 | × | kritzefitz quits (~kritzefit@212.86.56.80) (Ping timeout: 240 seconds) |
| 2021-04-10 17:24:42 | → | nbloomf joins (~nbloomf@2600:1700:ad14:3020:3171:23f8:d9b8:4bd6) |
| 2021-04-10 17:27:04 | × | sea-gull quits (~sea-gull@li1815-136.members.linode.com) (Remote host closed the connection) |
| 2021-04-10 17:29:14 | → | chenshen joins (~chenshen@2620:10d:c090:400::5:1d08) |
| 2021-04-10 17:30:01 | <Uniaika> | hololeap: Type Theory and Formal Proof: An Introduction |
| 2021-04-10 17:30:14 | <Uniaika> | by Nedeperlt and Geuvers |
| 2021-04-10 17:30:27 | → | clog joins (~nef@bespin.org) |
| 2021-04-10 17:30:27 | → | ulfryk joins (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6) |
| 2021-04-10 17:32:28 | enikar | is now known as `enicar` |
| 2021-04-10 17:33:01 | `enicar` | is now known as enikar |
| 2021-04-10 17:34:59 | × | ulfryk quits (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6) (Ping timeout: 260 seconds) |
| 2021-04-10 17:35:10 | → | kiweun joins (~kiweun@2607:fea8:2a62:9600:80d0:31c4:9266:b535) |
| 2021-04-10 17:36:04 | → | ulfryk joins (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6) |
| 2021-04-10 17:38:09 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-04-10 17:39:28 | → | nut joins (~user@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
| 2021-04-10 17:39:34 | × | chenshen quits (~chenshen@2620:10d:c090:400::5:1d08) (Quit: My MacBook Pro has gone to sleep. ZZZzzz…) |
| 2021-04-10 17:39:45 | × | kiweun quits (~kiweun@2607:fea8:2a62:9600:80d0:31c4:9266:b535) (Ping timeout: 258 seconds) |
All times are in UTC.